109 reputation
2
bio website graphics.cg.uni-saarland.de/…
location
age
visits member for 3 years, 1 month
seen Oct 29 at 9:15

PhD researcher in Computer Science in Germany. Researching various technologies for virtual environments - new architectures, protocols, servers, clients, peer-to-peer systems etc. Used to write a lot in C++ and JavaScript, now working mostly with C#.


Sep
24
awarded  Autobiographer
Sep
4
comment Remapping Caps Lock to Control and Escape (not the usual way)
I've used gnome-tweak-tool to map Caps Lock to Ctrl as there is no Keyboard layout in System Settings on Ubuntu 14.04. Then xcape -e 'Control_L=Escape' didn't work, but after using xcape -d I've discovered that Caps Lock generates keycode 66 and remapped it respectively: xcape -e '#66=Escape'.
Nov
27
comment enable window 'snap' in 12.04 (window maximation on drag to edge)
How do I check if Unity 3D is enabled or not? I have a proprietary nVidia driver installed which seems to work (WebGL works).
Nov
27
comment Shortcuts no longer work for move window to left/right of screen in 12.04
that's still moving between desktops, while author was looking for a way to automatically resize the window to occupy left or right half of the same desktop.
Nov
22
comment How to set the terminal to open maximized
doesn't work for me :-(. tried rebooting, logging in and out, grabbing the window class automatically (by clicking on the Terminal). I typically start my terminal from the sidebar or with Ctrl+Alt+T. In both cases it still starts with small size.
Aug
28
comment How to change tooltip background color in Unity?
Not anymore... after using 12.04 for a while, our admins are considering moving onto Fedora or some other RHEL-like distribution. Ubuntu has become a multimedia platform, which works well for home users, but not for the IT professionals.
Nov
8
awarded  Supporter
Nov
21
comment How to change tooltip background color in Unity?
I don't have 11.10 installed but I would find it weird if they have removed a way to customize a theme. Perhaps they have renamed the button and/or placed it in a different place/tab?
Nov
18
answered How to change tooltip background color in Unity?