Add UI settings for Font Family and Size #23

Open

Labels

Priority-MediumType-Enhancementauto-migrated

GoogleCodeExporter

opened

on Jul 13, 2015

Add UI settings for Font Family and Size.

Original issue reported on code.google.com by stephen....@gmail.com on 13 Apr 2012 at 7:17

Blocking: Implement ctrl + scroll wheel for increasing and decreasing font size #24, Implement ctrl + scroll wheel for increasing and decreasing font size #24
Blocked on: Add UI dialog for persistent management of settings #22

Metadata

Assignees

No one assigned

Labels

Priority-MediumType-Enhancementauto-migrated

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests