Adjust font face/size (maybe ctrl+mouse wheel?)

robertbasic / pugdebug

pugdebug is a standalone debugging client for PHP applications that uses XDebug as the debugging engine.

http://pugdebug.com/

Other

73 stars 15 forks source link

Closed ghost closed 7 years ago

ghost commented 8 years ago

It would be nice if we could adjust the font face, or at least size... I personally find (especially source) text way too small.

robertbasic commented 7 years ago

This is now implemented with #191 by adding an "Editor" section to the settings form.