Pin editor tabs; CGS session refresh; Bug fixes & more.
That's a good idea! You should file a feature request in github.