12,305 reputation
22354
bio website logfc.wordpress.com
location Europe
age 41
visits member for 1 year, 8 months
seen Apr 18 at 22:11

Apr
20
awarded  Enlightened
Apr
20
awarded  Nice Answer
Mar
17
awarded  Notable Question
Mar
17
awarded  Famous Question
Mar
10
comment What keyboard shortcut changes the `xfce4-terminal` terminal text size?
This has the same drawback as the answer from @starlocke (who also mentioned that it is Noah's solution): it creates a windowmanager shortcut, not a terminal shortcut. Since ctrl-shift-up or ctrl-shift-down are fairly common key combinations (not to mention the more typical ctrl + and ctrl - shortcuts used to change font size for example in gnome-terminal), it might lead to shortcut collisions and / or lack of consistency.
Mar
10
comment What keyboard shortcut changes the `xfce4-terminal` terminal text size?
@g33kz0r nah, starlocke (the accepted answer) made already a good case.
Mar
5
awarded  Famous Question
Feb
28
awarded  Guru
Feb
24
revised Uninstall Gnome 3.10 completly from Ubuntu 13.10
grammar
Feb
18
comment Installing packages into local directory?
Solution (2) will work regardless. Otherwise, you are on your own: maybe there is another way of installing package. Or download the deb package file and unpack it with ar: ar vx mypackage.deb. Then analyse the contents of the package and find out how to install it manually.
Feb
15
comment How to modify behavior of workspace navigator in Gnome 3.10?
Thank you; sounds interesting! However, I did not manage to install it under Gnome 3.10.
Feb
14
asked How to modify behavior of workspace navigator in Gnome 3.10?
Feb
14
asked Remove window title / window decorations in Gnome 3.10
Feb
14
comment Mouse pointer invisible after installing Unity with Gnome 13.10
Cool, many thanks. Only problem is that I still don't have a cursor in gdm...
Feb
13
awarded  Enlightened
Feb
13
awarded  Nice Answer
Feb
11
awarded  Caucus
Jan
26
awarded  Enlightened
Jan
26
awarded  Nice Answer
Jan
7
comment In guake, why only the first tab is transparent?
Good luck with your definition. So if a program incorrectly fails to zero a memory allocated with malloc, and works fine in some configurations (because memory from certain OS'es is initialized for security reasons), but not others (yes, I have seen cases like this), then this is not a bug? Please. If this is not a bug (although it has been reported by another user as well), how do you call it? A feature?