added a button to toggle the font

This commit is contained in:
Mark Schmale 2011-08-26 16:19:23 +02:00
parent 7e4bba0e31
commit 419d2bbd93
3 changed files with 10 additions and 0 deletions

View file

@ -122,6 +122,10 @@ var padeditbar = (function()
else if (cmd == 'save')
{
padsavedrevs.saveNow();
}
else if (cmd == 'tglfont')
{
pad.changeViewOption('useMonospaceFont', !(pad.padOptions.view&&pad.padOptions.view.useMonospaceFont));
}
else
{