diff options
author | Makarius Wenzel <makarius@sketis.net> | 2009-11-24 17:12:04 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2009-11-24 17:12:04 +0000 |
commit | a11afe2352cf0d38f266f4927449c86c35f785d2 (patch) | |
tree | bbdbf732daa41a44ecb11ad80c4d7e9a129ae513 /generic | |
parent | 5abc2ff937918826824352ff3e49e84f3535452d (diff) |
reverse settings within each group, to prevent upside-down presentation;
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 9e4d5e86..10a70204 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -753,7 +753,7 @@ KEY is the optional key binding." proof-assistant-settings)) (cmds (mapcar (lambda (stg) (apply 'proof-menu-entry-for-setting stg)) - gstgs))) + (reverse gstgs)))) (setq ents (if grp (cons (cons grp cmds) ents) (append cmds |