bugfix editor tab widths
speed up scroll to line animation
Implement “go to symbol” feature. PHP only for now (other languages must implement -findSymbolsInDocumentContents:)
bump version number