Juergen Spitzmueller 016393a0dd Minor re-ordering of the Insert menu		2018-01-05 11:09:11 +01:00
..
default.ui
stdcontext.inc	Prepend "Insert " in the context menu for environment separators.	2018-01-01 13:40:49 +01:00
stdmenus.inc	Minor re-ordering of the Insert menu	2018-01-05 11:09:11 +01:00
stdtoolbars.inc	LFUN and basic code to enable cancellation of background	2017-12-21 18:55:39 -05:00