issue-#137 Enlarge the size of the default font

Locked

Shall we change the default font size of documents?

8pt
0
No votes
9pt
3
30%
10pt
7
70%
OTHER
0
No votes
ABSTAIN
0
No votes
 
Total votes: 10

User avatar
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

Post by DGDanforth »

The discussion is here http://forum.blackboxframework.org/view ... 5282#p5282
No diffs since we are simply voting to change the default font size.
Ivan Denisov
Posts: 1700
Joined: Tue Sep 17, 2013 12:21 am
Location: Russia

Re: issue-#137 Enlarge the size of the default font

Post by Ivan Denisov »

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.
User avatar
Josef Templ
Posts: 2047
Joined: Tue Sep 17, 2013 6:50 am

Re: issue-#137 Enlarge the size of the default font

Post by Josef Templ »

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
Ivan Denisov
Posts: 1700
Joined: Tue Sep 17, 2013 12:21 am
Location: Russia

Re: issue-#137 Enlarge the size of the default font

Post by Ivan Denisov »

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.
Ivan Denisov
Posts: 1700
Joined: Tue Sep 17, 2013 12:21 am
Location: Russia

Re: issue-#137 Enlarge the size of the default font

Post by Ivan Denisov »

Luowy and Bernhard your voices required to finish voting.
luowy
Posts: 234
Joined: Mon Oct 20, 2014 12:52 pm

Re: issue-#137 Enlarge the size of the default font

Post by luowy »

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.
Bernhard
Posts: 68
Joined: Tue Sep 17, 2013 6:56 am
Location: Munich, Germany

Re: issue-#137 Enlarge the size of the default font

Post by Bernhard »

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
Ivan Denisov
Posts: 1700
Joined: Tue Sep 17, 2013 12:21 am
Location: Russia

Re: issue-#137 Enlarge the size of the default font

Post by Ivan Denisov »

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!
User avatar
Robert
Posts: 1024
Joined: Sat Sep 28, 2013 11:04 am
Location: Edinburgh, Scotland

Re: issue-#137 Enlarge the size of the default font

Post by Robert »

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.
User avatar
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

Post by DGDanforth »

A decision has been reached.
10pt is now the default.
Locked