Juergen Spitzmueller 8f86feb260 Prepend "Insert " in the context menu for environment separators.		2018-01-01 13:40:49 +01:00
..
default.ui	Automatically show the review toolbar if the document has tracked changes	2016-05-29 17:55:42 -04:00
stdcontext.inc	Prepend "Insert " in the context menu for environment separators.	2018-01-01 13:40:49 +01:00
stdmenus.inc	Prepend "Insert " in the context menu for environment separators.	2018-01-01 13:40:49 +01:00
stdtoolbars.inc	LFUN and basic code to enable cancellation of background	2017-12-21 18:55:39 -05:00