Skip to content
GitLab
Explore
Sign in
Register
Open
1
Merged
55
Closed
9
All
65
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}}
Updated date
mobile-config-autoconfig.js: Use xdg-desktop-portal file-picker
!61
· created
Nov 03, 2024
by
Peter Mack
Closed
2
updated
Nov 05, 2024
userChrome/tabmenu: Give more place to tabs
!53
· created
Aug 03, 2024
by
Administrator
status::mr-stale
Closed
2
updated
Nov 03, 2024
fix: use like android user-agent
!33
· created
Jul 10, 2023
by
Administrator
type::fix
Closed
9
1
Approved
updated
Oct 05, 2024
Move navigation bar and tool bar to bottom
!17
· created
Jul 25, 2021
by
Administrator
Closed
26
2
updated
Oct 05, 2024
Add missing copyright to preferences.css
!12
· created
May 20, 2021
by
Administrator
Closed
1
updated
Oct 05, 2024
strictly bound widget-overflow width
!26
· created
Dec 14, 2022
by
Administrator
status:mr-stale
Closed
7
updated
Oct 05, 2024
Start integrating user0's customizations
!40
· created
Nov 23, 2023
by
Administrator
status::mr-stale
Closed
10
updated
Jun 20, 2024
Deactivate scrollbar to get some extra width
!18
· created
Sep 05, 2021
by
Administrator
status:mr-stale
type::feature
Closed
13
updated
Dec 14, 2022
add a mobile configuration for reader view
!20
· created
Nov 30, 2021
by
Administrator
Closed
3
updated
Dec 05, 2021
