Activating "Draw selected spaces" option makes Tau crash after selecting text
Problem description
Going to Preferences->Editor and activating "Draw selected spaces", closing the preferences window, and then selecting some text makes Tau crash.
Installation method
- Compiled source code
- Version ba747288