Currently the key closes when the variorum is opened. we could instead keep it open on start.
the downside is it may get annoying to power users if it's always open. we could fix that with cookies, but since we have not used cookies much I'd like to avoid that for now.
Currently the key closes when the variorum is opened. we could instead keep it open on start.
the downside is it may get annoying to power users if it's always open. we could fix that with cookies, but since we have not used cookies much I'd like to avoid that for now.