CodeEditor preferences
If the sections of the code editor are dragged by mouse, in the preferences, the ratios are given with a huge number of decimals. Rounding to integers would be nice.
(from redmine: issue id 2170, created on 2015-03-11 by fabian.heidemann, closed on 2015-03-11)
- Changesets:
- Revision 2013 by Thorben Quast on 2015-03-11T15:48:30Z:
fix #2170
- Revision 2013 by Thorben Quast on 2015-03-11T15:48:30Z:
fix #2170