Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
python
Issues
Open
4
Closed
7
All
11
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Updated date
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
searching a single documentation
devdocs-desktop#6
· created
Apr 24, 2017
by
Jonian Guveli
enhancement
CLOSED
6
updated
Dec 18, 2018
search in command line
devdocs-desktop#8
· created
May 14, 2017
by
Jonian Guveli
enhancement
CLOSED
0
updated
Oct 31, 2017
[FEATURE] Shortcut for focusing search box
devdocs-desktop#10
· created
Aug 18, 2017
by
Jonian Guveli
CLOSED
2
updated
Sep 10, 2017
"Enable dark theme" doesn't get saved
devdocs-desktop#7
· created
May 02, 2017
by
Jonian Guveli
CLOSED
1
updated
May 11, 2017
AUR package update
devdocs-desktop#3
· created
Apr 23, 2017
by
Jonian Guveli
CLOSED
0
updated
Apr 23, 2017
Add parameter for server and media-player
acestream-proxy-player#1
· created
Aug 29, 2015
by
Jonian Guveli
enhancement
CLOSED
1
updated
Oct 30, 2016
if acestream engine is not in the system-path
acestream-launcher#1
· created
Nov 29, 2015
by
Jonian Guveli
enhancement
CLOSED
0
updated
Dec 12, 2015