nightwing 5c1db2dbcc tweak the popup some more		2013-06-05 23:35:14 +04:00
..
default_gutter_handler.js	tweak the popup some more	2013-06-05 23:35:14 +04:00
default_handlers.js	put cursor at the end of selected line on trippleclick	2013-04-12 15:54:40 +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