Firefox Browser Add-ons
  • Extensions
  • Themes
    • for Firefox
    • Dictionaries & Language Packs
    • Other Browser Sites
    • Add-ons for Android
Log in
Preview of Overleaf textarea

Overleaf textarea by Robin

This plugin displays your text in a textarea so you can use spellcheck plugins like Grammarly.

4.6 (9 reviews)4.6 (9 reviews)
511 Users511 Users
You’ll need Firefox to use this extension
Download Firefox and get the extension
Download file

Extension Metadata

About this extension
Spellcheck in Overleaf is very basic. It is nothing compared to dedicated tools such as Grammarly. I used to copy and paste into Docs back and forward until recently. I created this chrome extension that copies the content of the file visible and the editor; filters the commands/keywords and pastes the plain text in a textarea (Right area). This textarea is displayed over the pdf preview. Extensions such as Grammarly can't check complex editors such as Overleaf, but only work in textareas. Changes made to the textarea, either by extensions such as Grammarly or yourself, are evaluated and changes are merged back to the editor.
Rated 4.6 by 9 reviewers
Sign in to rate this extension
There are no ratings yet

Star rating saved

5
8
4
0
3
0
2
0
1
1
Read all 9 reviews
Permissions and dataLearn more

Required permissions:

  • Access your data for sites in the overleaf.com domain
  • Access your data for overleaf.com
  • Access your data for www.overleaf.com

Optional permissions:

  • Access your data for all websites
More information
Add-on Links
  • Homepage
  • Support site
Version
3.0.0
Size
81.23 KB
Last updated
2 years ago (May 12, 2023)
Related Categories
  • Language Support
License
GNU General Public License v3.0 only
Version History
  • See all versions
Add to collection
Report this add-on
Support this developer

The developer of this extension asks that you help support its continued development by making a small contribution.

Contribute now

More extensions by Robin
  • There are no ratings yet

  • There are no ratings yet

  • There are no ratings yet

  • There are no ratings yet

  • There are no ratings yet

  • There are no ratings yet

Go to Mozilla’s homepage

Add-ons

  • About
  • Firefox Add-ons Blog
  • Extension Workshop
  • Developer Hub
  • Developer Policies
  • Community Blog
  • Forum
  • Report a bug
  • Review Guide

Browsers

  • Desktop
  • Mobile
  • Enterprise

Products

  • Browsers
  • VPN
  • Relay
  • Monitor
  • Pocket
  • Bluesky (@firefox.com)
  • Instagram (Firefox)
  • YouTube (firefoxchannel)
  • Privacy
  • Cookies
  • Legal

Except where otherwise noted, content on this site is licensed under the Creative Commons Attribution Share-Alike License v3.0 or any later version.