DTEX tools
Quick tools for better managing overleaf projects.
As of May 2026, DTEX tools has 2 users in the Workflow & Planning category.
Usersno change0%
2
2
Ratingno change0%
—
— reviews
Reviewsno change0%
—
Version
0.0.2
Manifest V3
Permissions & access
- Permissions
- storage
- Host access
- None declared
Screenshots
About
DTEX tools contains tools for creating elements with tracked changes. In particular, it provides tex commands, and highlights them in the tex. Furthermore, the new version includes two buttons to quickly copy the tex code into the clipboard while stripping such commands, in order to provide "clean" tex versions.
Technical
- Version
- 0.0.2
- Manifest
- V3
- Size
- 67.87KiB
- Min Chrome
- 88
- Languages
- 1
- Featured
- No
Metadata
- ID
- cgbifnbcflmpppmjpdlpfgblhaelelnf
- Developer ID
- u951699e3cd8132fc5758ebbc63ffca88
- Developer Email
- [email protected]
- Created
- Jun 27, 2022
- Last Updated (Store)
- Sep 13, 2022
- Last Scraped
- May 30, 2026
- Website
- —
- Support URL
- —
- Privacy Policy
- —
Similar extensions
Alternatives to DTEX tools, ranked by description similarity.
SLext
SLext enhances your editing experience on Overleaf by providing tabs, themes and more to the Overleaf website.
367
★ 4.8
Deltoidr
Adds a copy button to Deltoid for copying out data reading
226
★ 5.0
Toolbox
Chrome Toolbox, Useful tool set. Commonly used text processing tools. ps:sorting, de-emphasis, trimming, md5, sha1, Code format
3.0K
★ 3.2
Dashy Drop
Clean unwanted em dashes and en dashes from text with customizable rules
10
Docket Highlighter
Docket can assist you in highlighting and saving text, code, and images while you read documents on the web, especially for…
2
Copy as Plain Text - Format Cleaner
Clear HTML formattings such as bold, italic, foreground, and background colors, then copy as plain text or replace the node
2.0K
★ 4.2
Assignment Tracker++++
Changes new tabs page into a rich text editor assignments tracker, editable directly & via right-clicking on assignments.
72
★ 5.0
mei's Handy Tool
mei's Handy Tool provides some useful features for browsing、present and everything you need.
1
★ 5.0
Data sourced from the Chrome Web Store · last verified May 30, 2026.