Hello, thanks for the review! The editor tools (like highlighter) are activated only when their toolbar is open, and currently there is no way to minimize them. This is by design from Mozilla; however I can ask the Firefox PDF viewer team to consider implementing this feature. Stay tuned!