| gus-tavo | hi, i need help | 01:03 |
|---|---|---|
| gus-tavo | exit | 01:06 |
| gus-tavo | quit | 01:06 |
| === vibhav is now known as Guest61908 | ||
| === Guest61908 is now known as vibhav | ||
| === vibhav is now known as Guest37517 | ||
| === Guest37517 is now known as vibhav | ||
| PriceChild | !ops | 14:14 |
| === PriceChild is now known as PricceChild | ||
| PricceChild | !ops | 14:25 |
| === PricceChild is now known as d | ||
| === d is now known as TossTheSalad | ||
| === TossTheSalad is now known as Rimjob | ||
| godbyk | Hey, thorwil. Are you around? | 18:11 |
| thorwil | godbyk: seems so :) | 18:12 |
| godbyk | thorwil: Cool. Question for you. top bar, Top bar, Top Bar. Choose one. :) | 18:13 |
| godbyk | We're capitalizing Launcher and Dash. | 18:13 |
| godbyk | (Also, I think "top bar" sounds kinds of silly, but it seems to be what everyone calls it.) | 18:14 |
| thorwil | hmm. it's such a generic term, that implying it's a specific name seems problematic | 18:15 |
| thorwil | then again, it does belong to the trio, with Dash and Launcher | 18:15 |
| godbyk | Yeah, such is the quandary. Hence my appeal to you. :-) | 18:16 |
| thorwil | godbyk: if we can treat it more as a description, not as a Name, it must be "top bar" | 18:17 |
| godbyk | The Ubuntu wiki and even the official docs aren't terribly helpful because they're inconsistent in the capitalization of these terms. | 18:17 |
| godbyk | Here are some usage examples from the manual (with their current, inconsistent formatting and spelling): | 18:18 |
| godbyk | On the top bar, select \menu{File\then New Window}. | 18:18 |
| godbyk | Ubuntu 12.04 comes with an indicator menu in the top bar for sound-related applications and devices. | 18:18 |
| * thorwil wonders how and why the concept of capitalization developed, given that it has no equal in speech | 18:18 | |
| godbyk | If a windows is maximized, its top-left buttons and menu are automatically hidden from view. To make them appear, just move your mouse to the left side of the \menu{Top Bar}. | 18:19 |
| * godbyk wonders when you Germans will stop capitalizing every Noun in the Sentence. | 18:19 | |
| thorwil | godbyk: if a case arrives where "top bar" refers to any other bar ... | 18:20 |
| godbyk | In earlier times (in English, at least), they tended to capitalize any words they thought were Important. | 18:20 |
| thorwil | godbyk: do you know the german example in facor of capitalization. "helft den armen vögeln?" | 18:20 |
| thorwil | if we capitalize *the* "Top Bar", it helps with distinction if there is any other top bar | 18:23 |
| godbyk | thorwil: Heh! A fair point. :) | 18:23 |
| godbyk | True. | 18:23 |
| godbyk | Looking at the results of grep -i top.bar */*.tex, it appears that it always refers to *the* top bar. | 18:23 |
| godbyk | (Though the grammar surround the term varies slightly. More nitpicky details for me to consider, I suppose.) | 18:24 |
| godbyk | There's also a margin note that states: \emph{Top Bar} is also referred as \emph{Top Panel}. | 18:24 |
| godbyk | And "top panel" is used in a few other places in the manual (always lowercase, incidentally). | 18:25 |
| thorwil | godbyk: btw, that german sentence can be read as either "help the poor birds" or "help the poor to (uhm ...) screw". capitalization can make it unambiguous. | 18:25 |
| godbyk | thorwil: A quick Google search revealed that. | 18:27 |
| thorwil | godbyk: it was funny when i brought that example up, when my flatmate from china questioned the need for capitalization. only after opening my mouth, i realized that i would no have to explain that bit of slang ... | 18:28 |
| thorwil | luckily the reaction of a 3rd person an my slight unease was all the hinting required | 18:28 |
| godbyk | heh | 18:28 |
| thorwil | godbyk: cool. i would have assumed all useful explanations to be in german ... | 18:28 |
| godbyk | The non-best answer here <http://answers.yahoo.com/question/index?qid=20111004160153AAhRbLz> helped. | 18:29 |
| godbyk | Interestingly, the best answer was useless. | 18:29 |
| thorwil | 0.o | 18:30 |
| godbyk | Google Translate apparently doesn't take the difference in capitalization into account, btw. It translates both phrases the same. | 18:30 |
| thorwil | yahoo answers, frequent example of how things should not work out | 18:30 |
| godbyk | Agreed. | 18:30 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!