robcowie/SublimeTODO — pull request #33 by johanoverip (2012-09-28 09:34:00+00:00)
Title: Changing alt+dblclick to shift+dblclick for Linux

The alt button in Linux is more often than not used to move the window (through clicking and dragging while holding alt down). When that's the case, the window manager will not notify the application of alt+click events. This commit replaces alt+dblclick with shift+dblclick under Linux.