I am using Ubuntu 13.10 64 bit on an Intel 15 with 4GB of RAM.
I used xbindkeys for custom keyboard shortcuts in Ubuntu 13.04 because it was easy to configure with the GUI xbindkeys-config.
Now I have setup the same on Ubuntu 13.10, and even a simple operation like opening a file using gedit seems to run slow. Reinstalling xbindkeys does not seem to solve the problem.
Anyone has any ideas on what could be done, or any alternatives that are easy to configure?