| Wed, 21 Mar 2012 13:54:33 +0100 | wenzelm | try apple.laf.useScreenMenuBar=false to make menus stay closer to the editor views they belong to -- potentially less confusing for jEdit newcomers; | changeset | files |
| Wed, 21 Mar 2012 11:36:47 +0100 | wenzelm | improved isatest arguments for macbroy2; | changeset | files |
| Wed, 21 Mar 2012 11:25:19 +0100 | wenzelm | clarified Local_Theory.init: avoid hardwired naming policy, discontinued odd/unused group argument (cf. 5ee13e0428d2); | changeset | files |
| Wed, 21 Mar 2012 11:00:34 +0100 | wenzelm | prefer explicitly qualified exception List.Empty; | changeset | files |
| Tue, 20 Mar 2012 21:37:31 +0100 | wenzelm | merged | changeset | files |
| Tue, 20 Mar 2012 21:34:42 +0100 | wenzelm | refined init_model: allow change of buffer name as caused by "Save as", for example; | changeset | files |