Fix bug when switching current editor: repsect new editor fold state
Offsets: add a show_requested signal to tell the client code the widget has been updated
and it's time to show it.
Fix bug empty docs
Fix goto definition when used from the action (F3)