pizzapanther/Neutron-IDE — Issue #30: Quick Search
Author: pizzapanther
Created: 2012-01-01 21:28:54+00:00
State: open

Add a quick search box on the top of the IDE for quick searches in the current tab.