pothos-gui: activate button based on visible editor