Skip to content
GitLab
Explore
Sign in
Register
Open
0
Merged
7
Closed
0
All
7
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Move the document modification mark to the close button
!122
· created
Mar 26, 2022
by
Gaël Bonithon
0.5.9
Merged
5
updated
Mar 27, 2022
Add shortcuts plugin
!121
· created
Mar 11, 2022
by
Gaël Bonithon
0.5.9
Merged
updated
Mar 17, 2022
Update Copying (Issue: #160)
!120
· created
Mar 10, 2022
by
Kevin Bowen
0.5.9
Merged
1
updated
Mar 10, 2022
Add search history
!119
· created
Mar 04, 2022
by
Gaël Bonithon
0.5.9
Merged
updated
Jun 13, 2022
Fix antonym of the word "indent" in preferences dialog
!118
· created
Feb 25, 2022
by
Ghost User
0.5.9
Merged
6
Approved
updated
Mar 13, 2022
Add ellipsis to preferences menu entry
!117
· created
Feb 20, 2022
by
Theo Linkspfeifer
0.5.9
Merged
1
updated
Mar 13, 2022
Switch all labels to title case in prefs dialog
!116
· created
Feb 13, 2022
by
Theo Linkspfeifer
0.5.9
Merged
1
updated
Mar 13, 2022