Skip to content
Commit 2d4ce96f authored by Kevin Funk's avatar Kevin Funk
Browse files

Double click in tab bar creates new file

GUI: Clicking on an empty space in the document tab bar now creates an
new file
parent 436877c1
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