Project

General

Profile

Bug #15

It should be possible to change the font of the editor. Currently it's hardcoded

Added by Rick Blommers over 6 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Start date:
Due date:
% Done:

0%


Description

Though I really like "Bitstream Vera Sans Mono" as coding font,
It would be nice to make the font configurable. Also should the default font be a font that's available on the os.

History

#1 Updated by Rick Blommers about 6 years ago

  • Status changed from New to In Progress
  • Assignee set to Rick Blommers

#2 Updated by Rick Blommers about 6 years ago

  • Status changed from In Progress to Resolved

#3 Updated by Rick Blommers about 6 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF