Skip to content

Hide reset history menu button when not relevant

Leo Ruggerirequested to merge
mrpink/kate:filetree into master

Only add it to menu when shading is enabled

Merge request reports