On Fri, 2004-09-24 at 21:09, Angus Leeming wrote: > No worries. The patch looks good; I commited it. What, no coding-style criticisms? You're just not trying today! :-)
Update to "GUI Independence" page attached. John
Index: guii.php3 =================================================================== RCS file: /cvs/lyx/www-devel/guii.php3,v retrieving revision 1.69 diff -u -3 -p -u -p -r1.69 guii.php3 --- guii.php3 2004/03/31 15:55:35 1.69 +++ guii.php3 2004/09/24 20:13:58 @@ -74,7 +74,7 @@ $tab["Preamble"] = array( 3, $tab["Preferences"] = array( 3, 3, 0, ""); $tab["Print"] = array( 3, 3, 2, ""); $tab["Ref"] = array( 3, 3, 0, ""); -$tab["Search"] = array( 3, 3, 2, ""); +$tab["Search"] = array( 3, 3, 3, ""); $tab["Sendto"] = array( 3, 3, 0, ""); $tab["Spellchecker"] = array( 3, 3, 0, ""); $tab["Tabular"] = array( 3, 3, 0, "");