1
0
mirror of https://github.com/gryf/wmaker.git synced 2026-02-15 21:45:54 +01:00

Added select while scrolling the list, when the mouse pointer leaves

the list area, at either top or bottom having the mouse button pressed.
This commit is contained in:
dan
2000-10-03 12:38:23 +00:00
parent c7a0cd924e
commit eeda795db1
2 changed files with 148 additions and 6 deletions

View File

@@ -1,10 +1,10 @@
- move paint to idle handlers
- finish the multiple selection code for lists (check for add handlers for
scrolling while drag-selecting).
- check whether WMDestroyWidget() should first call WMUnmapWidget().
- check if its useful to add some WMBrowserSelectionDidChangeNotification
(actually a pass-through for WMListSelectionDidChangeNotification).
Or a delegate to be called when the list selection change.
- check which behavior is better for list selecting while scrolling
(the #define behavior2 in wlist.c)
- optimize color allocation for repeated colors