gnusim8085

  1. Bug #579322
  2. Comment #6

Comment 6 for bug 579322

Revision history for this message
Debjit Biswas (debjitbis08) wrote : Re: [Bug 579322] Re: Choosing a font in editor

I think we must add a preferences dialog for these kind of settings. But at present there are not much settings to put in such a dialog.

-- Debjit