Skip to content
Snippets Groups Projects
  1. Dec 02, 2014
  2. Dec 01, 2014
  3. Nov 28, 2014
  4. Nov 27, 2014
  5. Nov 26, 2014
    • Andrzej's avatar
      Fixing problems with intelligent panel hiding, bug #11331 · 57502718
      Andrzej authored
      ochosi:
      "Just to document the findings I made during a quick debug session
      with the panel from git master (4.11.x). Intelligent hiding
      generally works, but the mouse-pointer behavior is buggy.
      Steps to reproduce the bug:
      1) set panel to intelligent hiding
      2) give a window focus that doesn't overlap with the panel
      3) hover the panel with the mouse
      4) upon leaving the panel hides again, even though there
         is no window overlapping
      
      What it should do instead: if intelligent hiding is in use
      it should check (possibly in panel_window_leave_notify_event
      or _enter_ in panel-window.c) whether there are windows
      overlapping with the panel and if not, the panel shouldn't
      hide on leave_notify."
      57502718
  6. Nov 22, 2014
  7. Nov 19, 2014
  8. Nov 03, 2014
  9. Oct 29, 2014
  10. Oct 28, 2014
  11. Oct 25, 2014
  12. Oct 18, 2014
  13. Oct 14, 2014
  14. Oct 06, 2014
  15. Oct 02, 2014
  16. Oct 01, 2014
  17. Sep 30, 2014
  18. Sep 26, 2014
  19. Sep 22, 2014
  20. Sep 20, 2014
  21. Sep 18, 2014
  22. Sep 17, 2014
  23. Sep 13, 2014
  24. Sep 10, 2014
  25. Sep 08, 2014
  26. Sep 07, 2014
  27. Sep 06, 2014
  28. Sep 05, 2014
Loading