Tamaño del texto del código

google-code-export / latex-lab

Automatically exported from code.google.com/p/latex-lab

1 stars 0 forks source link

Tamaño del texto del código #154

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

I wear glasses and habitually I use Ctrl++ on my browser. It would be great
if in the new menu Edit - Preferences I could select a default text size
for the code.

Original issue reported on code.google.com by taecilla on 30 May 2010 at 5:18

GoogleCodeExporter commented 9 years ago

The title of this issue should be "Text size of the code". Sorry :(

Original comment by taecilla on 31 May 2010 at 12:14