7320 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Pierre-Marie de Rodat	8700fea165	Merge pull request #1 from AdaCore/topic/update-master	2018-07-27 10:48:51 +02:00
Harutyun Amirjanyan	67afee22b1	Merge pull request #3723 from raph-amiard/master ... Improvements to ada mode	2018-07-26 23:27:51 +04:00
Harutyun Amirjanyan	aca56c6a06	Merge pull request #3635 from ajaxorg/better-textinput ... Better handling of text composition	2018-07-26 23:26:54 +04:00
Raphaël AMIARD	d59f9554f6	Add test for Ada indent/outdent	2018-07-26 12:54:24 +02:00
Raphaël AMIARD	4be0a82339	Improvements to ada mode ... * Add support for auto-indent/outdent * Fix handling of character literals	2018-07-26 12:54:12 +02:00
nightwing	1b96c9e42b	fix vim mode	2018-07-25 13:30:26 +04:00
nightwing	4c2cbe1ccf	add test for textinput	2018-07-25 13:30:25 +04:00
nightwing	fc7f8b1f0e	make it work	2018-07-25 13:30:07 +04:00
nightwing	c191b9deef	fix endOperation event firing too often for mouse	2018-07-25 13:30:07 +04:00
nightwing	18bf63f56d	remove undo based implementation of composition handling	2018-07-25 13:30:07 +04:00
nightwing	ae618ac662	add tool for debugging textinput	2018-07-25 13:30:07 +04:00
Harutyun Amirjanyan	751cbbf62b	Merge pull request #3722 from ajaxorg/add-tests ... add more tests	2018-07-25 13:28:57 +04:00
nightwing	5557b4f1e6	add test for gutter mouse handler	2018-07-25 13:07:35 +04:00
nightwing	f92422ce74	add test for error_marker	2018-07-25 13:07:35 +04:00
nightwing	d4a20aa0b2	do not create new functions on each schedule call	2018-07-25 13:07:35 +04:00
Harutyun Amirjanyan	e4e5d3a4da	Merge pull request #3720 from ajaxorg/fix-ci ... update travis config	2018-07-25 12:26:28 +04:00
nightwing	b3c373ef5f	update travis config	2018-07-25 12:16:52 +04:00
Harutyun Amirjanyan	ad8153f412	Merge pull request #3715 from ajaxorg/fix-destroy ... remove observer when destroying font_metrics	2018-07-22 16:09:35 +04:00
nightwing	bac154ec2c	remove observer when destroying font_metrics	2018-07-22 11:16:25 +04:00
Harutyun Amirjanyan	85b4c97977	Merge pull request #3708 from ajaxorg/fix-multiselect ... Fix multiselect	2018-07-17 14:13:45 +04:00
Harutyun Amirjanyan	8a4133ed94	Merge pull request #3709 from ajaxorg/doc-basepath ... add documentation about basePath	2018-07-17 14:12:50 +04:00
Harutyun Amirjanyan	f5842329d8	Merge pull request #3710 from ajaxorg/fix-static-highlight ... fix static-highlight extension	2018-07-17 14:12:30 +04:00
nightwing	2621230429	update mode test	2018-07-17 11:58:41 +04:00
nightwing	b6b247a1ee	fix lint issues	2018-07-17 11:37:25 +04:00
nightwing	3276eb4bc6	fix regression in multiselect	2018-07-17 01:25:34 +04:00