The search and replace popup menu often hides search results as it seems to always be on top of the jEdit screen showing the current buffer. Especially on a netbook 1024x600 px screen! The incremental search bar (C+,) solves this problem nicely for simple searches. However the search bar doesn't seem to handle all the function available in the search and replace popup, especial replace.

I tried to dock the full search and replace popup to keep it out of the way, but couldn't find it in Global Options > Docking. I'm running jEdit 4.3.2 on Ubuntu 8.04 and Ubuntu 10.04. I don't see the docking button on any of the popup screens, including the file system viewer which is dockable. Perhaps the lack of docking button on Ubuntu is a Gnome windowing issue? Maybe there is already an option to scroll lines with results out from behind the search and replace popup?

Is this is a bug, a new feature or am I just missing something?