Fix #3034: Make font size in entry editor and group panel customizable#3083

Merged

tobiasdiez merged 1 commit intomasterfrom editorFontSize

Aug 8, 2017

+23-11

Commits on Aug 7, 2017

Fix #3034 : Make font size in entry editor and group panel customizable
tobiasdiez
committed