101 reputation
1
bio website
location
age
visits member for 2 years, 1 month
seen Jul 8 at 6:38

Feb
3
comment Hide window title in gnome-shell using mutter, gdk, wnck or gtk
I use that extention with a patched version of extensions.gnome.org/extension/426/window-buttons (see pull request on github). It work great and I really enjor to get some pixel back !
Feb
3
comment gnome-shell-extension: JS that works in looking glass doesn't in extension
I have to say I never touched that part of the API, so I'm not sure. The hacky way would be finding some side effect of contact initialization and rely on that. For instance by monkey patching a function that is called by the initalization.
Feb
2
comment gnome-shell-extension: JS that works in looking glass doesn't in extension
thedailywtf.com/Articles/Too-Much-Sleep.aspx Sleep for synchronization is a very poor solution.
Feb
2
awarded  Supporter
Jul
22
comment How to switch language keyboard combination?
I have the same as above, and still cannot change keyboard layout . . .