You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The downside of this wonderful extension is the lack of window control buttons when the windows are undecorated. Another extension - window-buttons-with-title2@hanspr - is deprecated. It would be very helpful to have an alternative. There are already windows that have solved this individually, e.g. Vivaldi browser. So it might be possible somehow.
Thank you for your extension!
The text was updated successfully, but these errors were encountered:
what "window button" exactly are you looking for? The one you press to see this menu?
If so... that's accessible by alt+space.
If you want the close/minimize/maximize buttons... This would be WAY harder to implement, as it would have to alter the geometry of the window or its contents, which should not be controlled by the window manager. Your best bet is getting used to keyboard shorcuts for those actions as well.
Extension name and maintainer
cinnamon-maximus@fmete
What would you like to see?
The downside of this wonderful extension is the lack of window control buttons when the windows are undecorated. Another extension - window-buttons-with-title2@hanspr - is deprecated. It would be very helpful to have an alternative. There are already windows that have solved this individually, e.g. Vivaldi browser. So it might be possible somehow.
Thank you for your extension!
The text was updated successfully, but these errors were encountered: