nightwing e220a11f34 nicer mouse behavior for foldwigets ... activate on mousedown and on double click		2012-11-04 18:10:37 +04:00
..
default_gutter_handler.js	nicer mouse behavior for foldwigets	2012-11-04 18:10:37 +04:00
default_handlers.js	Fix ctrl+- issue	2012-09-20 05:10:58 +10:00
dragdrop.js	Add BSD license headers	2012-09-06 22:48:34 +02:00
fold_handler.js	nicer mouse behavior for foldwigets	2012-11-04 18:10:37 +04:00
mouse_event.js	Add BSD license headers	2012-09-06 22:48:34 +02:00
mouse_handler.js	do not show gutter tooltip while selecting	2012-09-14 12:30:59 +04:00
multi_select_handler.js	Add BSD license headers	2012-09-06 22:48:34 +02:00