nightwing 2adb8000f5 fold on click instead of mousedown ... prevents button flickering on chrome		2013-03-14 16:58:26 +04:00
..
default_gutter_handler.js	fix focus handling when clicking on foldwidget	2013-02-03 17:48:50 +04:00
default_handlers.js	allow multiple selections with shared edges	2013-03-01 16:57:37 +04:00
dragdrop.js	fix editor getting stuck in drag mode	2013-03-01 15:26:34 +04:00
fold_handler.js	fold on click instead of mousedown	2013-03-14 16:58:26 +04:00
mouse_event.js	Add BSD license headers	2012-09-06 22:48:34 +02:00
mouse_handler.js	add missing options	2013-03-14 16:54:07 +04:00
multi_select_handler.js	fix alt-shift click	2013-02-18 17:01:24 +04:00