well, if no one complains, i'll remove the new doc menu from devel... it seems that
- there are problems on windows
- scrolling doesn't work on linux
i'd look into fixing it but i have other more pressing things like figuring out why pd-gui is leaking 30 MB a second when manipulating a custom widget, not to mention trying to make pd usable for something _besides_ widgets on x86_64..
btw Tim, the 'noise' i get when trying to make devel create audio output is not white noise, but rather sounds like a buffer being half filled, or perhaps inserting a 0 between every other sample... some weird bitcrushing effect..