Currently Online

Latest Posts

Topic: CTRL or Ctrl?

GunChleoc
Avatar
Topic Opener
Joined: 2013-10-07, 14:56
Posts: 3324
Ranking
One Elder of Players
Location: RenderedRect
Posted at: 2015-11-17, 14:46

For explaining hotkeys, we sometimes have CTRL and sometimes Ctrl in our texts. It looks like both notations are being used in the English-speaking world, so which one would you prefer? ALL CAPITALS or Title Case? I would like to be consistent here, so we need to pick one.


Busy indexing nil values

Top Quote
kaputtnik
Avatar
Joined: 2013-02-18, 19:48
Posts: 2441
OS: Archlinux
Version: current master
Ranking
One Elder of Players
Location: Germany
Posted at: 2015-11-17, 16:11

Some examples:

| ---- | ----- Press CTRL + F11 to ... | Press Ctrl + F11 to ... Hold down SHIFT will... | Hold down Shift will...

I am in favour of all capitals face-smile.png


Fight simulator for Widelands:
https://wide-fighter.netlify.app/

Top Quote
Vassili
Avatar
Joined: 2013-10-12, 18:19
Posts: 169
Ranking
At home in WL-forums
Location: France
Posted at: 2015-11-17, 16:26

I am in favour of only the first letter beeing a capital.

All in capitals don't mean it's an acronyme like in French?

You write Mr for Mister, not MR, cause it's only one word, an abreviation, Ctrl is for Control, so why use capitals everywhere?

Edited: 2015-11-17, 16:27

Top Quote
wl-zocker

Joined: 2011-12-30, 16:37
Posts: 495
Ranking
Tribe Member
Location: Germany
Posted at: 2015-11-17, 17:04

I second Vassili's argument: Capitalized words make me think of an acronym.

I also find that the word stands out too much inside the running text.


"Only few people know how much one has to know in order to know how little one knows." - Werner Heisenberg

Top Quote
Venatrix
Avatar
Joined: 2010-10-05, 19:31
Posts: 449
Ranking
Tribe Member
Location: Germany
Posted at: 2015-11-17, 18:04

I prefer all capitals, exactly because it stands out in running text. Besides, I normally expect real words, when they’re title case (at least I don’t find an exception atm – if you find one, tell me).


Two is the oddest prime.

Top Quote
flipflipsen

Joined: 2010-01-17, 22:18
Posts: 79
OS: Ubuntu 23.10
Version: 1.2
Ranking
Likes to be here
Posted at: 2015-11-17, 18:28

I prefer Ctrl.


Top Quote
GunChleoc
Avatar
Topic Opener
Joined: 2013-10-07, 14:56
Posts: 3324
Ranking
One Elder of Players
Location: RenderedRect
Posted at: 2015-11-18, 10:44

I am for all capitals.

Votes so far:

  • All capitals: 3
  • Title case: 3

So, we need more votes prod, prod

Edited: 2015-11-18, 10:45

Busy indexing nil values

Top Quote
Vassili
Avatar
Joined: 2013-10-12, 18:19
Posts: 169
Ranking
At home in WL-forums
Location: France
Posted at: 2015-11-18, 12:06

http://www.writingforward.com/grammar/grammar-rules/grammar-rules-capitalization

i am for ctrl, not Ctrl or CTRL (or you can write "control")

Edited: 2015-11-18, 12:07

Top Quote
GunChleoc
Avatar
Topic Opener
Joined: 2013-10-07, 14:56
Posts: 3324
Ranking
One Elder of Players
Location: RenderedRect
Posted at: 2015-11-18, 16:44

http://www.writingforward.com/grammar/grammar-rules/grammar-rules-capitalization

The key names are proper nouns, so why should they not be capitalized in English?


Busy indexing nil values

Top Quote
einstein13
Avatar
Joined: 2013-07-28, 23:01
Posts: 1118
Ranking
One Elder of Players
Location: Poland
Posted at: 2015-11-18, 21:50

If my vote is counting: "Ctrl", just like on keyboard.


einstein13
calculations & maps packages: http://wuatek.no-ip.org/~rak/widelands/
backup website files: http://kartezjusz.ddns.net/upload/widelands/

Top Quote