Skip to content
Commit 5b0ca33d authored by Ahmad Samir's avatar Ahmad Samir
Browse files

filetree plugin: make it possible to filter items in the tree view 

Like the one in the Project plugin, it's useful when you have many
documents open at the same time.
parent 94529e1c
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment