Am Montag 27 Januar 2014, 11:44:35 schrieb Jean-Marc Lasgouttes:
> There is a typo above (EnvironmentSeparator).
Thanks. I'll generally harmonize the naming.
> BTW, we need to work to reduce this hardcoding of menus. Am I right that
> the reason you need the hardcoding is that you want to add th
27/01/2014 08:01, Juergen Spitzmueller:
commit 5a3f1a731f0911427a3a5720393939f7d033b350
Author: Juergen Spitzmueller
Date: Mon Jan 27 08:01:24 2014 +0100
Extend environment-split to an 'outer' split function
This fixes a major beamer UI flaw reported by several users.
@@ -1793,7 +
commit 5a3f1a731f0911427a3a5720393939f7d033b350
Author: Juergen Spitzmueller
Date: Mon Jan 27 08:01:24 2014 +0100
Extend environment-split to an 'outer' split function
This fixes a major beamer UI flaw reported by several users.
diff --git a/lib/bind/de/menus.bind b/lib/bind/de/me