diff options
| author | Martin Hunt <hunt@redhat.com> | 2002-11-11 22:39:38 +0000 |
|---|---|---|
| committer | Martin Hunt <hunt@redhat.com> | 2002-11-11 22:39:38 +0000 |
| commit | 66bd5d3aa2d6fa54e0eee7a335c2c29ca33f1bfb (patch) | |
| tree | bc6d59aeb6c0c0cbca902f45ef9791de1c5afebd | |
| parent | 35e64f658a85e7ddbf6d48b0bba62798afda26b7 (diff) | |
| download | gdb-66bd5d3aa2d6fa54e0eee7a335c2c29ca33f1bfb.tar.gz | |
2002-11-11 Martin M. Hunt <hunt@redhat.com>
* library/srcbar.itcl (create_help_menu): For unix systems,
if compatibility is set to KDE or GNOME, put the help menu
in the right place. Otherwise put it on the far right, like
Motif does.
| -rw-r--r-- | gdb/gdbtk/ChangeLog | 7 | ||||
| -rw-r--r-- | gdb/gdbtk/library/srcbar.itcl | 14 |
2 files changed, 17 insertions, 4 deletions
diff --git a/gdb/gdbtk/ChangeLog b/gdb/gdbtk/ChangeLog index 90bf2d3add3..a5f9de2b22a 100644 --- a/gdb/gdbtk/ChangeLog +++ b/gdb/gdbtk/ChangeLog @@ -1,5 +1,12 @@ 2002-11-11 Martin M. Hunt <hunt@redhat.com> + * library/srcbar.itcl (create_help_menu): For unix systems, + if compatibility is set to KDE or GNOME, put the help menu + in the right place. Otherwise put it on the far right, like + Motif does. + +2002-11-11 Martin M. Hunt <hunt@redhat.com> + * library/helpviewer.tcl: New file. Finds an appropriate help browser and displays the help files. diff --git a/gdb/gdbtk/library/srcbar.itcl b/gdb/gdbtk/library/srcbar.itcl index 9e2d4ad1e06..be96ffb2ab3 100644 --- a/gdb/gdbtk/library/srcbar.itcl +++ b/gdb/gdbtk/library/srcbar.itcl @@ -462,10 +462,16 @@ itcl::class SrcBar { # METHOD: create_help_menu - Creates the standard help menu # ------------------------------------------------------------------ private method create_help_menu {} { - - $Menu add menubutton help "Help" 0 - $Menu add command Other "Help Topics" \ - {HtmlViewer::open_help index.html} \ + # KDE and GNOME like the help menu to be the last item in the menubar. + # The default Unix behavior is to be at the far right of the menubar. + set os [pref get gdb/compat] + if {$os == "KDE" || $os == "GNOME"} { + set helpmenu "_help" + } else { + set helpmenu "help" + } + $Menu add menubutton $helpmenu "Help" 0 + $Menu add command Other "Help Topics" {open_help index.html} \ -underline 0 $Menu add separator $Menu add command Other "About GDB..." \ |