I have tried switching theme/icon theme. Does not work. After some
googling though I came up with a workaround: Open GNOME Tweaks / Top Bar
and switch on/off the "Application Menu". This did the trick for me.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs,
The behavior remains identical after upgrading to 18.04.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gedit in Ubuntu.
https://bugs.launchpad.net/bugs/1752140
Title:
Gedit menu button disappear (17.10)
To manage notifications
Public bug reported:
The menu button of Gedit somehow disappeared (see attached screenshot).
This happens only to one user (myself) on the system with Xorg, as it
appears normally in my wife's account on the same computer, as well as
on root. On Wayland, the button is there, but many options are
