Skip to content

Issues: zzrough/gs-extensions-drop-down-terminal

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.

Sign up for GitHub

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

115 Open 99 Closed
115 Open 99 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Feature Request: split terminal
#259 opened Mar 22, 2024 by maykel535
error in logs while drop-down-terminal is displayed
#258 opened Dec 5, 2022 by jwaterwo
Install error
#257 opened Apr 5, 2022 by karen1511
Feature request: close terminal with exit
#256 opened Jan 11, 2022 by pwnorbitals
Error on Ubuntu 21.04
#255 opened Oct 8, 2021 by anerua
it would be perfect if we can positioning vertical center
#254 opened Jul 29, 2021 by vince-styling
Add GNOME 40 support!!
#252 opened Jun 14, 2021 by joyetgeorge
1
Can't start extension because of error "No JS module 'tweener' found in search path"
#251 opened May 12, 2021 by sadekov
1
Font problem
#249 opened Jan 13, 2021 by Innocent007
Feature request: Close on losing focus
#248 opened Nov 12, 2020 by michaelaye
Update for GNOME 3.38
#244 opened Sep 30, 2020 by gregorydk
5
default tilde (~) accelerator breaks alt-tab and alt-~ functionality in Ubuntu 20.04
#242 opened Sep 28, 2020 by jonnyprouty
Keyboard shortcut should activate the terminal if unfocused but visible
#241 opened Jul 13, 2020 by thiagoa
systemd journal clutter
#239 opened Apr 12, 2020 by pjhavariotis
2
Terminal shows below the dock, not next to
#236 opened Nov 5, 2019 by edwincc-vital
3
Add a LICENSE
#233 opened Sep 23, 2019 by ericdallo
Can I use a different color for my username?
#232 opened Jun 29, 2019 by f4him
2
Zoom/Scale using Ctrl and +/-?
#231 opened May 11, 2019 by KopfKrieg
2
Update for GNOME 3.32?
#230 opened Mar 18, 2019 by mon0theist
3
position right or bottom not working
#229 opened Feb 16, 2019 by g-i-o-r-g-i-o
4
Gap between panel and terminal solution?
#228 opened Dec 12, 2018 by Jont828
2
Feature Request - Position
#227 opened Dec 6, 2018 by Brandon-Campanile
3
Does not work on/sometimes crashes gnome-shell 3.30
#226 opened Nov 17, 2018 by Jenna-she-her
Drop down in full screen view
#223 opened Oct 30, 2018 by pratikab
Feature Addition: Offset
#220 opened Sep 17, 2018 by 7ranceaddic7
3
ProTip! Find all open issues with in progress development work with linked:pr.