-
Notifications
You must be signed in to change notification settings - Fork 27
Issues: ddterm/gnome-shell-extension-ddterm
Feature request: Allow the width of the terminal to be confi...
#129
opened May 22, 2022 by
fc-asad
Open
6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Use New feature or request
GObject.bind_property_full()
enhancement
#1099
opened Nov 5, 2024 by
amezin
Replace New feature or request
_init()
with constructor()
where possible
enhancement
#1098
opened Nov 5, 2024 by
amezin
Allow changing tab bar separator colour
enhancement
New feature or request
#1088
opened Oct 24, 2024 by
amankhoza
ddterm slow when switching monitors
bug
Something isn't working
#1083
opened Oct 20, 2024 by
amezin
2 tasks done
[feature] Easy access to buttons to split layout
enhancement
New feature or request
#983
opened Jul 4, 2024 by
gersonjferreira
Can't use "Shift + Ctrl + `" shortcut
bug
Something isn't working
#939
opened May 16, 2024 by
sergeycherepanov
2 tasks done
[Feature Request] Custom Background Image
enhancement
New feature or request
#938
opened May 15, 2024 by
MillhioreFiriannoBiscotti
Enable multiple global shortcuts
enhancement
New feature or request
#932
opened May 7, 2024 by
JacobMillward
Ability to specify word-wise select chars
enhancement
New feature or request
#799
opened Feb 16, 2024 by
RafalSkolasinski
RPM spec
enhancement
New feature or request
help wanted
Extra attention is needed
#790
opened Feb 10, 2024 by
amezin
Get rid of license headers in files
enhancement
New feature or request
#762
opened Jan 22, 2024 by
amezin
Filter environment variables like GNOME Terminal
enhancement
New feature or request
needs VTE changes
#741
opened Jan 10, 2024 by
amezin
Icon/logo
enhancement
New feature or request
help wanted
Extra attention is needed
#724
opened Jan 3, 2024 by
amezin
terminal capture my keyboard shortcut
bug
Something isn't working
#662
opened Nov 7, 2023 by
wiiznokes
2 tasks
Impossible to remove or modify .desktop file
enhancement
New feature or request
#603
opened Oct 22, 2023 by
somepaulo
2 tasks
add "keep running in background after all tabs were closed" option
enhancement
New feature or request
#396
opened Apr 4, 2023 by
IvoryJam
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.