Reputation
1,953
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
4 19 42
Impact
~300k people reached

Dec
13
accepted How do I adjust the margin for the line numbers in gEdit?
Dec
11
comment How do I adjust the margin for the line numbers in gEdit?
No. I remember that it was an option somewhere to increase and decrease the margin between line_numbers and code.
Dec
11
asked How do I adjust the margin for the line numbers in gEdit?
Dec
4
comment Global Menu broken for Gnome Applications after adding GNOME 3 PPA
@AlinAndrei Thanks for pointing this out. I'd retry with with the PPA again.
Nov
30
answered Sound became distorted
Nov
30
answered Global Menu broken for Gnome Applications after adding GNOME 3 PPA
Nov
30
revised Global Menu broken for Gnome Applications after adding GNOME 3 PPA
update
Nov
30
comment Global Menu broken for Gnome Applications after adding GNOME 3 PPA
As mentioned in the question, I already dist-upgraded, but in vain.
Nov
30
comment Global Menu broken for Gnome Applications after adding GNOME 3 PPA
I see. I already purged the GNOME3 PPA. but that did not help. I updated, checked if these Gnome Apps like totem or Gedit are newer than those in Quantal archive and it seems, not.
Nov
30
revised Global Menu broken for Gnome Applications after adding GNOME 3 PPA
added 83 characters in body
Nov
30
comment Global Menu broken for Gnome Applications after adding GNOME 3 PPA
I have the version which is in the archive. It's not outdated.
Nov
29
revised Global Menu broken for Gnome Applications after adding GNOME 3 PPA
added other info
Nov
29
revised Does the global application menu support Java applications?
added 375 characters in body
Nov
29
revised Does the global application menu support Java applications?
added 505 characters in body
Nov
29
answered Does the global application menu support Java applications?
Nov
29
asked Global Menu broken for Gnome Applications after adding GNOME 3 PPA
Nov
27
awarded  Famous Question
Nov
15
awarded  Popular Question
Nov
12
accepted How to xkill an application by its id?
Nov
12
comment How to xkill an application by its id?
Thanks for this fine asnwer. That's exatcly what I wanted. I did not know xdotool existed and I do prefer it too :) However the xkill command you gave is going to be very handy.