Skip to content

Hide reset history menu button when not relevant

Leo Ruggeri requested to merge mrpink/kate:filetree into master

Only add it to menu when shading is enabled

Merge request reports