nightwing 5d97f70a4e properly remove old selectionMarkers		2013-03-24 19:29:40 +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	properly remove old selectionMarkers	2013-03-24 19:29:40 +04:00
multi_select_handler.js	properly remove old selectionMarkers	2013-03-24 19:29:40 +04:00