On Fri, Nov 3, 2017 at 12:42 AM, Sergey Cherepanov
wrote:
> I wonder how I can find position and size of all panels on screen. I need to
> determine usable screen size/position for gnome-shell extension.
You mean the area that is available to regular windows? That's called
the "work area", and th
Hi,
I wonder how I can find position and size of all panels on screen. I need
to determine usable screen size/position for gnome-shell extension.
Gnome by default comes with top panel. I know how to find its position and
width.
But it can be other panels, for example task bar at bottom, or side bar
About gnome-shell-extensions
GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.
New
About GNOME Shell
=
GNOME Shell provides core user interface functions for the GNOME 3
desktop, like switching to windows and launching applications. GNOME
Shell takes advantage of the capabilities of modern graphics hardware
and introduces innovative user interface concepts to pro
About mutter
Mutter is a window and compositing manager that displays and manages
your desktop via OpenGL. Mutter combines a sophisticated display
engine using the Clutter toolkit with solid window-management logic
inherited from the Metacity window manager.
While Mutter can be used