First of all, thank you for this app, its simple, clean, efficient and sooo much better than google desktop, which is what I have been using so far (resource clogging & privacy invading).
The only thing I do like about GD is its hotkey combination.
Would it be able to add Ctrl*2 (i.e. hit the Ctrl key twice) to the possible hotkey combinations..?
Personally I think its the simplest and easiest hotkey and I would love to see it as an option.
Alternatively, Is there a way for me to add it by changing some minor code?
thank you again,
a happy everything user