ninja-ide/ninja-ide — Issue #66: Search buttons
Author: pedromagnus
Created: 2011-11-20 16:16:53+00:00
State: open

"Find" button should disappear when the search has begun.
"Stop" button should disappear when there is no process executing (there's nothing to stop).