188 reputation
11
bio website
location Australia
age
visits member for 3 years
seen Dec 23 at 3:47

I like nethack, it's fun!


Sep
24
awarded  Autobiographer
Jul
2
awarded  Curious
Mar
31
awarded  Commentator
Mar
31
comment Set text direction in gnome-shell?
Thanks for the detailed answer (I have yet to try to confirm).
Mar
31
accepted Set text direction in gnome-shell?
Mar
22
comment Set text direction in gnome-shell?
gnome-shell has a RTL setting it checks upon which it rearranges the entire desktop to be right-to-left (instead of the dash being on the left, it is on the right, etc). I'm attempting to set whatever setting gnome-shell is querying.
Jun
7
accepted Unity window button theme specification?
Jun
3
revised Unity window button theme specification?
added 33 characters in body
Jun
3
answered Unity window button theme specification?
Jun
3
asked Unity window button theme specification?
May
23
asked Set text direction in gnome-shell?
Feb
3
comment gnome-shell-extension: JS that works in looking glass doesn't in extension
sure, but can you suggest an alternative in this case? the relevant libraries do not provide signals indicating that contacts have loaded, so it's not like I can connect to the signal with a callback.
Jan
22
accepted Hide window title in gnome-shell using mutter, gdk, wnck or gtk
Jan
22
answered Hide window title in gnome-shell using mutter, gdk, wnck or gtk
Jan
21
awarded  Popular Question
Dec
17
answered how to change gnome 3.2.6 panel background color
Oct
26
comment How to install rgdal on Ubuntu 12.10?
On Ubuntu 12.04 installing libgdal-dev & libgdal1-dev worked fine - perhaps it is because Quantal (12.10) is quite new and the package maintainers haven't updated the right versions yet? (Actually, why is it saying it is going to install 3.3.3-2~precise2 when you are on quantal?)
May
4
comment Hide window title in gnome-shell using mutter, gdk, wnck or gtk
I think the mutter --> gdk window conversion might not be working because the window actor's x-window property appears not to be the correct xid: if I get the same window as a Wnck window, win.get_xid() is different to mutterWinActor['x-window'] and the wnck-->gdk window works!
May
4
asked Hide window title in gnome-shell using mutter, gdk, wnck or gtk
Apr
27
accepted gnome-shell-extension: JS that works in looking glass doesn't in extension