Pavel Sanda 584b83d33c Fix sideset hints, part of bug #11015.		2018-02-03 17:51:00 +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	Minor re-ordering of the Insert menu	2018-01-05 11:09:11 +01:00
stdtoolbars.inc	Fix sideset hints, part of bug #11015.	2018-02-03 17:51:00 +01:00