issue-#137 Enlarge the size of the default font
- DGDanforth
- Posts: 1061
- Joined: Tue Sep 17, 2013 1:16 am
- Location: Palo Alto, California, USA
- Contact:
issue-#137 Enlarge the size of the default font
The discussion is here http://forum.blackboxframework.org/view ... 5282#p5282
No diffs since we are simply voting to change the default font size.
No diffs since we are simply voting to change the default font size.
-
- Posts: 1700
- Joined: Tue Sep 17, 2013 12:21 am
- Location: Russia
Re: issue-#137 Enlarge the size of the default font
There is the diff
http://redmine.blackboxframework.org/pr ... 729f9239c9
But never mind, I will fix the size after voting if another size will win.
http://redmine.blackboxframework.org/pr ... 729f9239c9
But never mind, I will fix the size after voting if another size will win.
- Josef Templ
- Posts: 2047
- Joined: Tue Sep 17, 2013 6:50 am
Re: issue-#137 Enlarge the size of the default font
This default should not be based on personal preferences but on
the obvious chance to remove an inconsistency between the default setting
and the font size that is already used for all the sources (9pt).
And this font size is a careful balance between the readability and
the visible size of code sections without scrolling, well suited for
anybody at least as a default.
The personal preferences can be set anyway.
If 9pt is not readable well then there is something wrong with the Windows DPI settings.
- Josef
the obvious chance to remove an inconsistency between the default setting
and the font size that is already used for all the sources (9pt).
And this font size is a careful balance between the readability and
the visible size of code sections without scrolling, well suited for
anybody at least as a default.
The personal preferences can be set anyway.
If 9pt is not readable well then there is something wrong with the Windows DPI settings.
- Josef
-
- Posts: 1700
- Joined: Tue Sep 17, 2013 12:21 am
- Location: Russia
Re: issue-#137 Enlarge the size of the default font
My initial suggestion comes not from the "inconsistency between the default setting and the font size", BUT from the experience from the communication with people who starts using BlackBox. That is why, I do not agree with Josef position. He put some historical fact about sources font size higher than users experience. IMHO, that is not right way to grow up BlackBox community.
-
- Posts: 1700
- Joined: Tue Sep 17, 2013 12:21 am
- Location: Russia
Re: issue-#137 Enlarge the size of the default font
Luowy and Bernhard your voices required to finish voting.
Re: issue-#137 Enlarge the size of the default font
i remember have voted already.
I used to set 9point Arial font in my 15'' notebook for source code. with scale up to 150% dpi,it worked well. 8point too small for my eye,10point need adjust the code layout. so I prefer 9
point.
I used to set 9point Arial font in my 15'' notebook for source code. with scale up to 150% dpi,it worked well. 8point too small for my eye,10point need adjust the code layout. so I prefer 9
point.
Re: issue-#137 Enlarge the size of the default font
since I created now a standoff, I'd like to justify my decision: Since two months I have to full HD (1920x1080) 23" Displays and on these displays 8pt is too small, 9pt is still quite small, but 10pt is acceptable.
--
Bernhard
--
Bernhard
-
- Posts: 1700
- Joined: Tue Sep 17, 2013 12:21 am
- Location: Russia
Re: issue-#137 Enlarge the size of the default font
I should try to convince somebody who voted 9pt to change the opinion to 10pt.
1. With 10pt there will be no change of the existing source code layout. This setting influence only new documents and few info layouts, which I checked.
2. It is easier to start using BlackBox from bigger font and then switch to smaller font than to start with small font and then find the settings and switch to bigger one. During this time newbies fills inconvenience because of less readability of their sources. This period can be several months until person will find this font setting!
1. With 10pt there will be no change of the existing source code layout. This setting influence only new documents and few info layouts, which I checked.
2. It is easier to start using BlackBox from bigger font and then switch to smaller font than to start with small font and then find the settings and switch to bigger one. During this time newbies fills inconvenience because of less readability of their sources. This period can be several months until person will find this font setting!
Re: issue-#137 Enlarge the size of the default font
I've changed my vote:
- Personally I don't hold a strong opinion
- I want this discussion to end quickly
- I get the impression that those who prefer 9 pt will be mildly inconvenienced if they loose, while those who prefer 10 pt will be strongly inconvenienced if they loose.
So 10 pt is the better overall option.
- Personally I don't hold a strong opinion
- I want this discussion to end quickly
- I get the impression that those who prefer 9 pt will be mildly inconvenienced if they loose, while those who prefer 10 pt will be strongly inconvenienced if they loose.
So 10 pt is the better overall option.
- DGDanforth
- Posts: 1061
- Joined: Tue Sep 17, 2013 1:16 am
- Location: Palo Alto, California, USA
- Contact:
Re: issue-#137 Enlarge the size of the default font
A decision has been reached.
10pt is now the default.
10pt is now the default.