FileManager should have a customizable font

AObuchow / Sample-Commander

Orthodox File Manager for organizing audio files, written in Java using Eclipse RCP

Eclipse Public License 2.0

4 stars 0 forks source link

FileManager should have a customizable font #15

Open AObuchow opened 4 years ago

AObuchow commented 4 years ago

The font used in viewer of the FileManagerEditor should have a customizable font. For this, a new font definition needs to be created and used by the viewer.

A followup bug would be to create a command to increase & decrease this font size, then bind it to ctrl + and ctrl -.