From d1ab032b4fe4c392348c1d36a7e25f10203d49cd Mon Sep 17 00:00:00 2001
From: Tom Tromey
Date: Tue, 12 Jun 2001 16:20:12 +0000
Subject: [PATCH] * library/help/session.html: New file. *
library/help/index.html: Added link.
---
gdb/gdbtk/ChangeLog | 3 +++
gdb/gdbtk/library/help/index.html | 3 +++
gdb/gdbtk/library/help/session.html | 40 +++++++++++++++++++++++++++++++++++++
3 files changed, 46 insertions(+)
create mode 100644 gdb/gdbtk/library/help/session.html
diff --git a/gdb/gdbtk/ChangeLog b/gdb/gdbtk/ChangeLog
index 25ff09e343..25d0da4fa2 100644
--- a/gdb/gdbtk/ChangeLog
+++ b/gdb/gdbtk/ChangeLog
@@ -1,5 +1,8 @@
2001-06-11 Tom Tromey
+ * library/help/session.html: New file.
+ * library/help/index.html: Added link.
+
* library/session.tcl (session_save): Save breakpoints.
(SESSION_serialize_bps): New proc.
(SESSION_recreate_bps): New proc.
diff --git a/gdb/gdbtk/library/help/index.html b/gdb/gdbtk/library/help/index.html
index 33571af34e..b383156329 100644
--- a/gdb/gdbtk/library/help/index.html
+++ b/gdb/gdbtk/library/help/index.html
@@ -43,6 +43,9 @@
Watch Window
+
+Sessions
+
GNU General Public License
+
+Sessions
+
+Insight will save your session for you automatically. The ``session''
+is essentially a group of settings which are keyed by the name of the
+inferior which you are debugging.
+
+Insight will show a list of the five most recent previous sessions on
+the File menu. Choosing an item from this list will cause
+Insight to load the indicated executable and restore all the settings
+saved in the session.
+
+The settings stored in a session are:
+
+- The name of the executable.
+
+
- The inferior's command-line arguments.
+
+
- The target.
+
+
- The path used when searching for source files.
+
+
- The current working directory.
+
+
- The breakpoints and watchpoints, including conditions, actions,
+ and the like.
+
+
+
+More items may be added to this list as the need arises.
+
+At present there is no way to disable session saving.
+
+
diff --git a/gdb/gdbtk/library/help/session.html b/gdb/gdbtk/library/help/session.html
new file mode 100644
index 0000000000..6c770e8f02
--- /dev/null
+++ b/gdb/gdbtk/library/help/session.html
@@ -0,0 +1,40 @@
+
+