hide menubar is not remembered
Submitted by Dennis Haney
Assigned to Havoc Pennington
Description
Package: gnome-terminal Severity: normal Version: 1.9.2 Synopsis: hide menubar is not remembered Bugzilla-Product: gnome-terminal Bugzilla-Component: general
Description: Description of Problem: hide menubar should be regarded as a setting and thus be remembered.
Steps to reproduce the problem:
- click hide menubar (possible enter and exit "edit current profile")
- open new terminal
Actual Results: menubar is shown in new window
Expected Results: menubar has same status as settings.
How often does this happen?
Additional Information:
------- Bug moved to this database by unknown@bugzilla.gnome.org 2002-03-31 21:08 -------
The original reporter (davh@davh.dk) of this bug does not have an account here. Reassigning to the exporter, unknown@bugzilla.gnome.org. Reassigning to the default owner of the component, hp@redhat.com.
Resolution: RESOLVED NOTABUG