Open Sharlaan opened 7 years ago
Would be nice if user could double-click on a tab to rename the corresponding file.
Would be nice if user could double-click on a tab to rename the corresponding file.