6

I've got a Python/Linux application that displays bits of info I need in a GTK window. For the purposes of this discussion, it should behave exactly like a dock - exists on all virtual desktops, and maximized windows do not overlap it.

The first point is pretty easy, but I have spent days bashing my head against my monitor trying to get the second point - preventing overlap. My app should not be covered if another window is maximized. Setting "always on top" is not enough, as the other windows just sit behind my info bar instead of stopping at its edge.

In short: with a dock/panel style window, how can you prevent other windows from maximizing over/under it?

Update: Problem solved thanks to vsemenov

1 Answer 1

12

Use _NET_WM_STRUT and _NET_WM_STRUT_PARTIAL (for backwards compatibility) properties to reserve space at the edge of X Window System desktop.

With PyGtk you can set these properties like so, assuming self.window is an instance of gtk.Window:

self.window.get_toplevel().show() # must call show() before property_change()
self.window.get_toplevel().window.property_change("_NET_WM_STRUT", 
    "CARDINAL", 32, gtk.gdk.PROP_MODE_REPLACE, [0, 0, 0, bottom_width]) 

Clarification on the data parameter [0, 0, 0, bottom_width] in above:

This parameter specifies the width of reserved space at each border of the desktop screen in order: [left, right, top, bottom]. So [0, 0, 0, 50] would reserve 50 pixels at the bottom of the desktop screen for your widget.

Here is a simple working example:

import gtk

class PyGtkWidgetDockExample:
    def __init__(self):
        self.window = gtk.Window(gtk.WINDOW_TOPLEVEL)
        self.window.set_default_size(100, gtk.gdk.screen_height())
        self.window.move(gtk.gdk.screen_width()-100, 0)
        self.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DOCK)        
        self.window.show()          
        self.window.window.property_change("_NET_WM_STRUT", "CARDINAL", 32, 
            gtk.gdk.PROP_MODE_REPLACE, [0, 100, 0, 0])               

app = PyGtkWidgetDockExample()
gtk.main()
12
  • That's a huge help, and clarifies some of the code I found in PyPanel when attempting to solve this. I see the docs show this as property_change(property, type, format, mode, data) can you clarify the data being sent? I get the height, can you tell me about the zeros?
    – Josh
    Oct 4, 2010 at 22:21
  • Hmm thanks for reply. I'm using screen = gtk.gdk.screen_get_default() root = screen.get_root_window() root.property_change("_NET_WM_STRUT", "CARDINAL", 32, gtk.gdk.PROP_MODE_REPLACE, [0, 0, 0, 64]) with no luck. It's the root window you're referring to right? Or my application's window? I'm not having luck either way.
    – Josh
    Oct 4, 2010 at 22:33
  • Same when changing properties application's window. No errors but no apparent effect
    – Josh
    Oct 4, 2010 at 22:43
  • @Josh: you want to call property_change on the top level window of your app, which you can reference from any gtk.Window using self.window.get_toplevel().window.property_change(). If you go the route of gtk.gdk.screen_get_default().get_root_window(), it will return all gtk apps, through which you will have to loop to find your own, i.e.: for i in gtk.gdk.screen_get_default().get_root_window().get_children(). I updated my post with a working example, hopefully you can get this feature working in your application.
    – vls
    Oct 5, 2010 at 3:38
  • Is it possible you're testing with a window manager that doesn't support these properties?
    – Havoc P
    Oct 5, 2010 at 13:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.