Replaced <om@linux.com> by <oliver@maruhn.com>. <om@linuxhq.com> is no

longer valid.
author: Oliver Maruhn <oliverm@src.gnome.org> 1999-08-22 12:38:11 +0000
committer: Oliver Maruhn <oliverm@src.gnome.org> 1999-08-22 12:38:11 +0000
commit: b19f2896cfcf8abebbd20186578229ca086fee72 (patch)
tree: 9dcbdf26374237831e9796f868ee7e65508f3f6a
parent: 6a6fdde0f3f87668727e03af4d7173c61ec09150 (diff)
19 files changed, 82 insertions, 81 deletions
diff --git a/mini-commander/README b/mini-commander/README
index 8de1b68d0..9a9a1e5ff 100644
--- a/mini-commander/README
+++ b/mini-commander/README
@@ -32,4 +32,4 @@ Any feedback from you is welcome. Latest info and releases are at
 <http://om.filewatcher.org/mini-commander/>.
 
 
-     Oliver Maruhn <om@linuxhq.com>
+     Oliver Maruhn <oliver@maruhn.com>
diff --git a/mini-commander/docs/change-log.html b/mini-commander/docs/change-log.html
index 41e4db90a..b6809f064 100644
--- a/mini-commander/docs/change-log.html
+++ b/mini-commander/docs/change-log.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >ChangeLog</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -30,7 +29,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
@@ -84,7 +83,16 @@ WIDTH="100%"
 ><TD
 ><PRE
 CLASS="SCREEN"
->1999-05-30  Oliver Maruhn  &#60;oliver@maruhn.com&#62;
+>1999-07-11  Jacob Berkman  &#60;jberkman@andrew.cmu.edu&#62;
+
+	* src/preferences.c (saveSession): use VERSION instead of
+	INTERNAL_VERSION
+
+	* src/about.c (aboutBox): use VERSION
+
+	* src/mini-commander_applet.h: remove 'INTERNAL_VERSION'
+
+1999-05-30  Oliver Maruhn  &#60;oliver@maruhn.com&#62;
 
 	* src/preferences.h (struct structProperties): int showFrame added
 
diff --git a/mini-commander/docs/clock.html b/mini-commander/docs/clock.html
index ca8d31b3c..36bd80b4e 100644
--- a/mini-commander/docs/clock.html
+++ b/mini-commander/docs/clock.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Clock</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -33,7 +32,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/command-completion.html b/mini-commander/docs/command-completion.html
index a152dda61..de2b7ad49 100644
--- a/mini-commander/docs/command-completion.html
+++ b/mini-commander/docs/command-completion.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Command Completion</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -33,7 +32,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/command-history.html b/mini-commander/docs/command-history.html
index 338626034..9a125e767 100644
--- a/mini-commander/docs/command-history.html
+++ b/mini-commander/docs/command-history.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Command History</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -33,7 +32,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/docbook.css b/mini-commander/docs/docbook.css
index b42fb2718..462bcf1a2 100755
--- a/mini-commander/docs/docbook.css
+++ b/mini-commander/docs/docbook.css
@@ -1,20 +1,20 @@
-.BOOK .TITLE          { text-align: center }
-.BOOK .SUBTITLE       { text-align: center }
-.BOOK .CORPAUTHOR     { text-align: center }
-.BOOK .AUTHOR         { text-align: center }
-.BOOK .AFFILIATION    { text-align: center }
-.BOOK .EDITEDBY       { text-align: center }
-.BOOK .EDITOR         { text-align: center }
-.BOOK .GRAPHIC        { text-align: center }
-
-.ARTICLE .TITLE          { text-align: center }
-.ARTICLE .SUBTITLE       { text-align: center }
-.ARTICLE .CORPAUTHOR     { text-align: center }
-.ARTICLE .AUTHOR         { text-align: center }
-.ARTICLE .AFFILIATION    { text-align: center }
-.ARTICLE .EDITEDBY       { text-align: center }
-.ARTICLE .EDITOR         { text-align: center }
-.ARTICLE .GRAPHIC        { text-align: center }
-.ARTICLE .ABSTRACT       { margin-left: 0.5in;
-                           margin-right: 0.5in;
-                           font-style: italic }
+.BOOK .TITLE          { text-align: center }
+.BOOK .SUBTITLE       { text-align: center }
+.BOOK .CORPAUTHOR     { text-align: center }
+.BOOK .AUTHOR         { text-align: center }
+.BOOK .AFFILIATION    { text-align: center }
+.BOOK .EDITEDBY       { text-align: center }
+.BOOK .EDITOR         { text-align: center }
+.BOOK .GRAPHIC        { text-align: center }
+
+.ARTICLE .TITLE          { text-align: center }
+.ARTICLE .SUBTITLE       { text-align: center }
+.ARTICLE .CORPAUTHOR     { text-align: center }
+.ARTICLE .AUTHOR         { text-align: center }
+.ARTICLE .AFFILIATION    { text-align: center }
+.ARTICLE .EDITEDBY       { text-align: center }
+.ARTICLE .EDITOR         { text-align: center }
+.ARTICLE .GRAPHIC        { text-align: center }
+.ARTICLE .ABSTRACT       { margin-left: 0.5in;
+                           margin-right: 0.5in;
+                           font-style: italic }
diff --git a/mini-commander/docs/download.html b/mini-commander/docs/download.html
index 0fa11340a..f19189450 100644
--- a/mini-commander/docs/download.html
+++ b/mini-commander/docs/download.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Where can I download it?</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -33,7 +32,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/faq.html b/mini-commander/docs/faq.html
index a0930db62..d461c9d07 100644
--- a/mini-commander/docs/faq.html
+++ b/mini-commander/docs/faq.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Frequently Asked Questions</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -30,7 +29,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/features.html b/mini-commander/docs/features.html
index 1a4453729..4fb975d69 100644
--- a/mini-commander/docs/features.html
+++ b/mini-commander/docs/features.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Features</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -30,7 +29,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/feedback.html b/mini-commander/docs/feedback.html
index 9aebec626..fd30d9e87 100644
--- a/mini-commander/docs/feedback.html
+++ b/mini-commander/docs/feedback.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Feedback</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -30,7 +29,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/gpl2.html b/mini-commander/docs/gpl2.html
index b58d35afd..456214fb9 100644
--- a/mini-commander/docs/gpl2.html
+++ b/mini-commander/docs/gpl2.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >GNU General Public License</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -27,7 +26,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/history.html b/mini-commander/docs/history.html
index 3732e2528..760bdcfd5 100644
--- a/mini-commander/docs/history.html
+++ b/mini-commander/docs/history.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >History</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -30,7 +29,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/index.html b/mini-commander/docs/index.html
index e2cfdf319..bbbea0bbe 100644
--- a/mini-commander/docs/index.html
+++ b/mini-commander/docs/index.html
@@ -1,17 +1,19 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Mini-Commander</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="NEXT"
 TITLE="Introduction"
 HREF="introduction.html"></HEAD
 ><BODY
 ><DIV
 CLASS="BOOK"
+><A
+NAME="INDEX"
+></A
 ><DIV
 CLASS="TITLEPAGE"
 ><H1
@@ -31,25 +33,28 @@ CLASS="AUTHOR"
 >Oliver Maruhn</H3
 ><DIV
 CLASS="AFFILIATION"
+><DIV
+CLASS="ADDRESS"
 ><P
-CLASS="LITERALLAYOUT"
->&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<TT
-CLASS="EMAIL"
->&#60;<A
-HREF="mailto:oliver@maruhn.com"
->oliver@maruhn.com</A
->&#62;</TT
-><br>
+CLASS="ADDRESS"
+>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;oliver@maruhn.com<br>
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</P
 ></DIV
+></DIV
 ><P
 CLASS="COPYRIGHT"
->Copyright � 1998 by <SPAN
+>Copyright &copy; 1998 by <SPAN
 CLASS="HOLDER"
 >Oliver Maruhn</SPAN
 ></P
 ><DIV
+><DIV
 CLASS="ABSTRACT"
+><A
+NAME="ABSTRACT"
+></A
+><P
+></P
 ><P
 >This is the description of the <A
 HREF="http://www.gnome.org/"
@@ -71,6 +76,9 @@ TARGET="_top"
 >.</P
 ><P
 >This is $Revision$ from $Date$.</P
+><P
+></P
+></DIV
 ></DIV
 ><HR></DIV
 ><DIV
diff --git a/mini-commander/docs/introduction.html b/mini-commander/docs/introduction.html
index 376d88520..78505bbdd 100644
--- a/mini-commander/docs/introduction.html
+++ b/mini-commander/docs/introduction.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Introduction</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -30,7 +29,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/legal-notice.html b/mini-commander/docs/legal-notice.html
index 9e1656b2f..bb7d34e52 100644
--- a/mini-commander/docs/legal-notice.html
+++ b/mini-commander/docs/legal-notice.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Legal Notice</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -33,7 +32,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/macros.html b/mini-commander/docs/macros.html
index e4297e7a6..60427adaa 100644
--- a/mini-commander/docs/macros.html
+++ b/mini-commander/docs/macros.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Macros</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -33,7 +32,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/properties-0.html b/mini-commander/docs/properties-0.html
index 27f377ed1..ff733728a 100644
--- a/mini-commander/docs/properties-0.html
+++ b/mini-commander/docs/properties-0.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Customization</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -30,7 +29,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/screenshots.html b/mini-commander/docs/screenshots.html
index 1f437b036..d0dba1386 100644
--- a/mini-commander/docs/screenshots.html
+++ b/mini-commander/docs/screenshots.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >Screenshots</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -33,7 +32,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
diff --git a/mini-commander/docs/todo.html b/mini-commander/docs/todo.html
index d951a5a52..3ec701143 100644
--- a/mini-commander/docs/todo.html
+++ b/mini-commander/docs/todo.html
@@ -1,11 +1,10 @@
-<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
 <HTML
 ><HEAD
 ><TITLE
 >TODO</TITLE
 ><META
 NAME="GENERATOR"
-CONTENT="Modular DocBook HTML Stylesheet"><LINK
+CONTENT="Modular DocBook HTML Stylesheet Version 1.40"><LINK
 REL="HOME"
 TITLE="Mini-Commander"
 HREF="index.html"><LINK
@@ -30,7 +29,7 @@ ALIGN="center"
 ><SPAN
 CLASS="APPLICATION"
 >Mini-Commander</SPAN
-></TH
+>: A Command Line Interface Applet for GNOME</TH
 ></TR
 ><TR
 ><TD
author	Oliver Maruhn <oliverm@src.gnome.org>	1999-08-22 12:38:11 +0000
committer	Oliver Maruhn <oliverm@src.gnome.org>	1999-08-22 12:38:11 +0000
commit	b19f2896cfcf8abebbd20186578229ca086fee72 (patch)
tree	9dcbdf26374237831e9796f868ee7e65508f3f6a
parent	6a6fdde0f3f87668727e03af4d7173c61ec09150 (diff)