Felipe Colona

Add distinction between visible and busy workspace

5

# Description This patch updates the behavior of the ```busy``` attribute. Previously, it would be set to ```true``` even if there were no windows in a workspace. With this patch,...

Preserve search state on reload

4

With this, when reloading the document, the search state is preserved, including the search string and the search highlight. As I am new to contributing, review and suggestions are appreciated....