Skip to content
  • Paolo Borelli's avatar
    Simplify the update header bar logic · 247b6e86
    Paolo Borelli authored
    Bubble up an update request to the toplevel and then update the
    bar from top to bottom. This does not require to play tricks with
    whether the widget is mapped or not.
    247b6e86