issues
search
bigbn
/
drop-down-terminal-x
Drop Down Terminal X extension for the Gnome Shell
https://extensions.gnome.org/extension/1509/drop-down-terminal-x/?c=38764
GNU General Public License v3.0
92
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
"gjs not found in PATH" despite gjs being found in by command line shell
#44
ChristophSchmidpeter
closed
4 years ago
4
focus on start
#43
posuch
opened
4 years ago
12
Custom fonts ?
#42
GregoryOrciuch
closed
4 years ago
1
Animations are totally broken
#41
bigbn
opened
4 years ago
0
Feature request: scroll while bottom line updates
#40
rusins
closed
4 years ago
2
How to forcefully kill ther termial drop-down.
#39
kamleshkarwande
closed
4 years ago
2
Add a LICENSE
#38
ericdallo
closed
4 years ago
0
Toggle on scroll behaviour changed, animations not working
#37
Phidica
closed
4 years ago
4
White border/trim around terminal even with 0px padding
#36
amankhoza
closed
4 years ago
6
Feature request: Place tabs on top
#35
ghost
closed
5 years ago
3
Feature Request: Customizable Cursor Shape
#34
iranvir
closed
5 years ago
2
Unable to set custom key to 'home'
#33
CorruptComputer
opened
5 years ago
3
Terminal doesn't get focused (again)
#32
jelmerf
closed
4 years ago
14
Avoid crash due to null vs type undefined
#31
snaggen
closed
5 years ago
0
still capture key bindings when not focused
#30
jakio6
closed
5 years ago
1
Multi screen support
#29
avinayak
opened
5 years ago
12
Setting padding to 0px does not remove all padding
#28
amankhoza
closed
5 years ago
1
Feature request: tiling
#27
luispabon
opened
5 years ago
2
set_colors doesn't work when calling from JS
#26
bigbn
closed
4 years ago
0
Allow transparent background color
#25
amivaleo
closed
5 years ago
2
Added Cursor Type selection to Settings
#24
jakubzet
closed
5 years ago
1
feather request: font size change
#23
jakio6
closed
5 years ago
1
Drop-down-terminal-x hijacks the ~ key
#22
pseudo-morph
closed
5 years ago
4
Revert "Implemented a general padding option"
#21
bigbn
closed
5 years ago
0
Implemented a separate padding option
#20
masmu
closed
5 years ago
3
Implemented a general padding option
#19
masmu
closed
5 years ago
0
bug: Animation opentime not stable
#18
der-ali
opened
5 years ago
0
feature request: move tab position
#17
der-ali
closed
5 years ago
0
feature request: hide on lose focus
#16
z-huabao
closed
5 years ago
1
Middle mouse buttons closes all tabs
#15
RonNabuurs
closed
5 years ago
0
Pasting doesn't work correctly with multiple tabs
#14
RonNabuurs
closed
5 years ago
4
ability to autodetect foreground/set title for tabs
#13
james-lawrence
closed
5 years ago
1
Appears centered in Wayland, not at top/side.
#12
eode
opened
5 years ago
11
Swiching workspace with indicator triggers dropdown terminal
#11
maxfriis
closed
5 years ago
0
Window behaviour incorrect (not always on top)
#10
hittingray
opened
5 years ago
8
update install filepath command
#9
ajcarvajal
closed
5 years ago
1
Can't change tabs shortcuts
#8
Nunels
closed
5 years ago
6
Terminal doesn't get focused
#7
XPanniX
closed
5 years ago
1
Animation seems not to work
#6
XPanniX
closed
5 years ago
0
Available in https://extensions.gnome.org/extension
#5
jidckii
closed
5 years ago
13
Add ability to change animation times in settings
#4
kufii
closed
6 years ago
0
fix workarea positioning
#3
kufii
closed
6 years ago
1
2 fixes: tab labelling and terminal bell
#2
kufii
closed
6 years ago
0
Switch to Ctrl+Shift+T to avoid shortcut conflicts
#1
balderclaassen
closed
6 years ago
0
Previous