Juergen Spitzmueller 92613ac63c Implement environment-split before and previous ... Possibility to add an environment before the current one and to append and environment from outside the nesting scope. This commit includes all fixes that went in during testing these functions in master. It also moves the menu items from Edit to Insert.		2018-01-01 12:34:39 +01:00
..
menus.bind	Implement environment-split before and previous	2018-01-01 12:34:39 +01:00