Summary: | Provide option to hide menu bar | ||
---|---|---|---|
Product: | [Applications] kile | Reporter: | Michael D <nortexoid> |
Component: | user interface | Assignee: | Daniel Fichtner <danje1> |
Status: | RESOLVED FIXED | ||
Severity: | wishlist | CC: | bugs.kde.org, danje1, michel.ludwig |
Priority: | NOR | Keywords: | junior-jobs |
Version: | 2.9.60 | ||
Target Milestone: | --- | ||
Platform: | Ubuntu | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: |
Description
Michael D
2016-11-10 15:07:08 UTC
May I kind re-request this wish? Also because now ctrl+alt+i gives full access to menus without the menu, and you could even add an "open menu" button to the toolbar as Dolphin and other apps have. Thanks! Sounds like a reasonable request. I'll have a look. Merge request started: https://invent.kde.org/office/kile/-/merge_requests/15 Great, thank you! Git commit 6e9ab22ddd47fbbc37a779cd61957af4de1b7a24 by Michel Ludwig, on behalf of Daniel Fichtner. Committed on 23/07/2022 at 13:37. Pushed by mludwig into branch 'master'. Makes the menu bar toggleable similar to a lot of other KDE applications. M +25 -0 src/kile.cpp M +3 -0 src/kile.h https://invent.kde.org/office/kile/commit/6e9ab22ddd47fbbc37a779cd61957af4de1b7a24 |