Skip to content

Allow editing tab names on double click#118

Merged
ehsandeep merged 1 commit intomainfrom allow-editing-tab-nameSep 5, 2024