1
0
mirror of https://github.com/gryf/wmaker.git synced 2026-02-06 16:25:50 +01:00

Fixed bug with WPrefs not selecting the menu appearance options after startup

This commit is contained in:
dan
2000-10-08 23:29:11 +00:00
parent 88ed406e08
commit bdaacb6daa
3 changed files with 5 additions and 7 deletions

View File

@@ -2,7 +2,7 @@
- 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.
- add some way to modify speed when scrolling WMList depending on how
- add some way to modify speed when scrolling WMList, depending on how
far the mouse is moved outside of the list.