- Added WMSetWindowUserPosition()
commit4193d2265dd095d48d18692834b8ee7e6c8025b8
authordan <dan>
Tue, 26 Sep 2000 00:35:33 +0000 (26 00:35 +0000)
committerdan <dan>
Tue, 26 Sep 2000 00:35:33 +0000 (26 00:35 +0000)
tree4cc0c7f22f27eaae08680408ec3980ebd405bccb
parent7b3c10b07dbc0bc5a92f0e24147f55b9585c8372
- Added WMSetWindowUserPosition()
- Replaced FlattenStringList() and TokenizeString() with wtokenjoin()
  respective wtokensplit() from WINGs
WINGs/ChangeLog
WINGs/WINGs.h
WINGs/wwindow.c
WPrefs.app/editmenu.c
src/dock.c
src/funcs.h
src/menureader.c
src/misc.c
src/session.c
src/window.c