qt gui: Handle 1000 symbols at a time to avoid hanging the GUI thread
qt gui: Whitespace cleanup header