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 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 @@ + + +Sessions + + + +

    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: +

    +

    + +More items may be added to this list as the need arises.

    + +At present there is no way to disable session saving.

    + + + -- 2.11.0