Skip to content

filetree: small improvements to mini toolbar

Eric Armbruster requested to merge work/show-active-doc into master
  • Rename Show Active to Show Active Document
  • Add showactive document to mini toolbar
  • Set the text for save actions

Essentially what we discussed a while ago in Janet's MR. I still think that all actions except prev, next and show toolbar are probably redundant in this toolbar, but it does not hurt much to keep them around. Maybe some people got used to them being there.

Merge request reports