Skip to content
GitLab
Explore
Sign in
BUG: 372295: make kile's menu bar toggleable
Code
Review changes
Check out branch
Download
Patches
Plain diff
Daniel Fichtner
requested to merge
danchete/kile:kile_toggle_menu_bar
into
master
Jul 16, 2022
Overview
16
Commits
5
Pipelines
7
Changes
2
Expand
Makes the menu bar toggleable similar to a lot of other KDE applications.
BUG: 372295
Edited
Jul 19, 2022
by
Nate Graham
Merge request reports
Loading