Bug 1019393
Summary: | disabling menu bar in terminal shows it again on next terminal start | ||
---|---|---|---|
Product: | [Fedora] Fedora | Reporter: | Ales Kozumplik <akozumpl> |
Component: | gnome-terminal | Assignee: | Matthias Clasen <mclasen> |
Status: | CLOSED NOTABUG | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
Severity: | unspecified | Docs Contact: | |
Priority: | unspecified | ||
Version: | rawhide | CC: | fmuellner, jzeleny, mclasen, otaylor, samkraju, walters, zeenix |
Target Milestone: | --- | Keywords: | Reopened |
Target Release: | --- | ||
Hardware: | Unspecified | ||
OS: | Unspecified | ||
Whiteboard: | |||
Fixed In Version: | Doc Type: | Bug Fix | |
Doc Text: | Story Points: | --- | |
Clone Of: | Environment: | ||
Last Closed: | 2014-09-04 05:24:16 UTC | Type: | Bug |
Regression: | --- | Mount Type: | --- |
Documentation: | --- | CRM: | |
Verified Versions: | Category: | --- | |
oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
Cloudforms Team: | --- | Target Upstream Version: | |
Embargoed: |
Description
Ales Kozumplik
2013-10-15 15:37:03 UTC
Not a window manager issue, reassigning. its meant to work that way. I see. In fedora 20 with gnome-terminal-3.10.2-2.fc20.x86_64 I don't get the behavior described by comment 0. By comment 2 it must be a bug. .. which is not a bug, I have explicitly set it so in an obscure dconf value. Sorry for the noise. |