Skip to content
Snippets Groups Projects
  1. Jul 08, 2023
    • Gaël Bonithon's avatar
      panel: Block autohide when the panel has input focus · 8d576257
      Gaël Bonithon authored
      The autohide algorithm implicitly assumes that the active window is a
      foreign window, but it may in fact be the panel itself (at least on
      X11). This is the case, for example, if the panel has input focus via a
      plugin's GtkEntry.
      
      In this case, the algorithm gives a hazardous result, and may in
      particular enter an infinite loop in certain circumstances.
      
      Blocking autohide if the panel has input focus allows to exit the
      algorithm as quickly as possible at its various entry points, thus
      resolving this problem. It also ensures that the panel is not hidden
      while the user is typically typing text into a GtkEntry.
      
      Finally, even if autohide is not used, this ensures that panel opacity
      is correctly updated, since panel enter/leave opacities follow the same
      logic as autohide.
      
      Fixes: #764
      8d576257
  2. Jun 20, 2023
  3. Jun 16, 2023
    • Gaël Bonithon's avatar
      clock: Fix sync timeout for seconds display · a6c4e8a1
      Gaël Bonithon authored
      5cf7006e fixed the same problem for the minutes display, but there's a
      bit more work here, since nothing was done in addition to
      `g_timeout_add()` to synchronize the seconds display.
      
      A synchronization every 10 seconds with a precision of a tenth of a
      second seems reasonable: this gives a readjustment every 50 to 60
      seconds on my system, if the panel isn't too busy (since the plugin is
      internal). I took the opportunity to raise the timeout priorities, which
      should improve things a little in this case.
      
      Fixes: #756
      Completes: 5cf7006e
      a6c4e8a1
  4. Jun 14, 2023
  5. Jun 12, 2023
  6. Jun 05, 2023
  7. Jun 01, 2023
  8. May 29, 2023
  9. May 28, 2023
  10. May 26, 2023
  11. May 21, 2023
  12. May 19, 2023
  13. May 08, 2023
  14. May 05, 2023
Loading