Bookmark editor doesn't open

[BURG3R5]

Ctrl + D doesn't open the bookmark editor. Even going to the menu and clicking "Bookmark this tab" doesn't open it.

[luftmensch-luftmensch]

Apparently making #star-button-box attribute visible fixes the issue (comment this line should be enough)