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