---- Changes since 1.340 ----
When editing an HTML file, the <head> section is preserved.
Added a link in the HTML editor window to swich to plain text mode.
+Files in the right-hand list are now sorted case-insensitively.
file.jar: FileManager.java Util.java
- CLASSPATH=/usr/local/netscape7/plugins/java2/lib/javaplugin.jar:. javac -target 1.1 *.java
+ CLASSPATH=/usr/local/netscape7/plugins/java2/lib/javaplugin.jar:. javac -target 1.2 -source 1.2 *.java
jar cf file.jar *.class
[ -d "../zomos-virtual" ] && jar cf ../zomos-virtual/file.jar *.class
protected static int compare(RemoteFile a, RemoteFile b) {
long rv = 0;
if (col == 1)
- rv = a.name.compareTo(b.name);
+ rv = a.name.toLowerCase().compareTo(b.name.toLowerCase());
else if (col == 2)
rv = a.size - b.size;
else if (col == 3)