Skip to content
Snippets Groups Projects
  1. Dec 20, 2014
  2. Dec 19, 2014
  3. Dec 14, 2014
  4. Dec 13, 2014
  5. Dec 12, 2014
  6. Dec 07, 2014
  7. Dec 06, 2014
  8. Dec 03, 2014
  9. Dec 02, 2014
  10. Dec 01, 2014
  11. Nov 28, 2014
  12. Nov 27, 2014
  13. 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
  14. Nov 22, 2014
  15. Nov 19, 2014
  16. Nov 03, 2014
  17. Oct 29, 2014
  18. Oct 28, 2014
  19. Oct 25, 2014
  20. Oct 18, 2014
  21. Oct 14, 2014
  22. Oct 06, 2014
  23. Oct 02, 2014
  24. Oct 01, 2014
  25. Sep 30, 2014
  26. Sep 26, 2014
  27. Sep 22, 2014
  28. Sep 20, 2014
  29. Sep 18, 2014
  30. Sep 17, 2014
  31. Sep 13, 2014
  32. Sep 10, 2014
Loading