Mostafa Eweda 1b8fb10e50 Merge pull request #1260 from ajaxorg/toggleComment ... Improve toggleCommentLines and make it faster		2013-02-23 06:03:44 -08:00
..
default_gutter_handler.js	fix focus handling when clicking on foldwidget	2013-02-03 17:48:50 +04:00
default_handlers.js	improve MouseWheel behavior	2013-02-22 14:22:19 +04:00
dragdrop.js	Detect file dragging	2013-02-06 12:56:19 +10:00
fold_handler.js	fix typo in fold_handler	2013-02-22 14:22:22 +04:00
mouse_event.js	Add BSD license headers	2012-09-06 22:48:34 +02:00
mouse_handler.js	better way for managing options	2013-01-30 12:36:34 +04:00
multi_select_handler.js	fix alt-shift click	2013-02-18 17:01:24 +04:00