drop-down-terminal-x
drop-down-terminal-x copied to clipboard
Published
20 hours ago •
bigbn
bigbn
Terminal window is incorrectly positioned when animation is enabled
I have a 2 monitor setup. Secondary monitor's top edge is a bit higher (so for the main monitor, where the terminal should appear, the top edge isn't at y=0)
When animation is enabled in settings, the window initially appears at y=0 (top portion of it is not visible). When I start typing, or when I move the mouse pointer over the window, it repositions to the correct location. When animation is disabled, this does not happen, the window intially appears at the correct location.
To Reproduce Steps to reproduce the behavior:
- Use a 2 monitor setup
- Move the primary monitor a bit lower (in gnome control center)
- Make sure animation is enabled
- Toggle the terminal. Top portion of the window will not be visible
- Move the mouse or press any key. The window will move to the correct location.
Expected behavior Entire terminal window should be visible
Screenshots
Immediately after I pressed the hotkey. Shell prompt is not visible:
Moved the mouse pointer into the window. The window moved down, shell prompt is visible now:
Desktop (please complete the following information):
- Distro: Arch Linux
- Gnome 3.36.2
- gnome-shell-extension-drop-down-terminal-x-git 1.5.0.r8.g7f6c704-1
- Xorg
Error logs
May 30 03:23:53 x299 sudo[41096]: amezin : TTY=pts/0 ; PWD=/home/amezin/AUR/gnome-shell-extension-drop-down-terminal-x-git ; USER=root ; COMMAND=/usr/bin/pacman -U gnome-shell-extension-drop-down-terminal-x-git-1.5.0.r8.g7f6c704-1-any.pkg.tar.zst
May 30 03:24:40 x299 gnome-shell[42033]: forking 'gjs /usr/share/gnome-shell/extensions/[email protected]/terminal.js /usr/share/gnome-shell/extensions/[email protected]'
May 30 03:24:43 x299 gnome-shell[42033]: #0 564f12a8b3e8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 03:24:43 x299 gnome-shell[42033]: #2 564f12a8b3e8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 03:24:43 x299 gnome-shell[42033]: #3 564f12a8b3e8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 03:24:43 x299 gnome-shell[42033]: #3 564f12a8b3e8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 04:25:17 x299 gnome-shell[42033]: #0 564f1106f928 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 04:25:17 x299 gnome-shell[42033]: #2 564f1106f928 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 04:25:17 x299 gnome-shell[42033]: #3 564f1106f928 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 04:25:17 x299 gnome-shell[42033]: #3 564f1106f928 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 04:25:20 x299 gnome-shell[42033]: #0 564f1106f878 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 04:25:20 x299 gnome-shell[42033]: #2 564f1106f878 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 04:25:20 x299 gnome-shell[42033]: #3 564f1106f878 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 04:25:20 x299 gnome-shell[42033]: #3 564f1106f878 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 05:04:33 x299 gnome-shell[42033]: #0 564f11cdfff8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 05:04:33 x299 gnome-shell[42033]: #2 564f11cdfff8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 05:04:33 x299 gnome-shell[42033]: #3 564f11cdfff8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 05:04:33 x299 gnome-shell[42033]: #3 564f11cdfff8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 05:05:06 x299 gnome-shell[42033]: #0 564f11cdff48 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 05:05:06 x299 gnome-shell[42033]: #2 564f11cdff48 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 05:05:06 x299 gnome-shell[42033]: #3 564f11cdff48 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 05:05:06 x299 gnome-shell[42033]: #3 564f11cdff48 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 06:09:30 x299 gnome-shell[42033]: #0 564f16c01e38 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 06:09:30 x299 gnome-shell[42033]: #2 564f16c01e38 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 06:09:30 x299 gnome-shell[42033]: #3 564f16c01e38 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 06:09:30 x299 gnome-shell[42033]: #3 564f16c01e38 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 06:25:29 x299 gnome-shell[42033]: #0 564f16c01ee8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 06:25:29 x299 gnome-shell[42033]: #2 564f16c01ee8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 06:25:29 x299 gnome-shell[42033]: #3 564f16c01ee8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 06:25:29 x299 gnome-shell[42033]: #3 564f16c01ee8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 06:25:48 x299 gnome-shell[42033]: #0 564f16c01e38 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 06:25:48 x299 gnome-shell[42033]: #2 564f16c01e38 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 06:25:48 x299 gnome-shell[42033]: #3 564f16c01e38 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 06:25:48 x299 gnome-shell[42033]: #3 564f16c01e38 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:04:57 x299 gnome-shell[42033]: #0 564f16c01ee8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:04:57 x299 gnome-shell[42033]: #2 564f16c01ee8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:04:57 x299 gnome-shell[42033]: #3 564f16c01ee8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:04:57 x299 gnome-shell[42033]: #3 564f16c01ee8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:08:52 x299 gnome-shell[42033]: #0 564f1298f008 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:08:52 x299 gnome-shell[42033]: #2 564f1298f008 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:08:52 x299 gnome-shell[42033]: #3 564f1298f008 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:08:52 x299 gnome-shell[42033]: #3 564f1298f008 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:13:27 x299 gnome-shell[42033]: #0 564f1298f008 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:13:27 x299 gnome-shell[42033]: #2 564f1298f008 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:13:27 x299 gnome-shell[42033]: #3 564f1298f008 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:13:27 x299 gnome-shell[42033]: #3 564f1298f008 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:13:33 x299 gnome-shell[42033]: #0 564f1298ef58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:13:33 x299 gnome-shell[42033]: #2 564f1298ef58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:13:33 x299 gnome-shell[42033]: #3 564f1298ef58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:13:33 x299 gnome-shell[42033]: #3 564f1298ef58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:16 x299 gnome-shell[42033]: #0 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:18:16 x299 gnome-shell[42033]: #2 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:16 x299 gnome-shell[42033]: #3 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:16 x299 gnome-shell[42033]: #3 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:18 x299 dbus-daemon[41449]: [session uid=1000 pid=41449] Activating service name='org.gnome.Shell.Extensions' requested by ':1.193' (uid=1000 pid=74051 comm="gnome-extensions prefs drop-down-terminal-x@bigbn.")
May 30 07:18:24 x299 gnome-shell[42033]: #0 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:18:24 x299 gnome-shell[42033]: #2 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:24 x299 gnome-shell[42033]: #3 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:24 x299 gnome-shell[42033]: #3 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:24 x299 gnome-shell[42033]: #4 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:24 x299 gnome-shell[42033]: #4 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:24 x299 gnome-shell[42033]: #4 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:24 x299 gnome-shell[42033]: #4 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:30 x299 gnome-shell[42033]: #0 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:18:30 x299 gnome-shell[42033]: #2 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:30 x299 gnome-shell[42033]: #3 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:30 x299 gnome-shell[42033]: #3 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:30 x299 gnome-shell[42033]: #4 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:30 x299 gnome-shell[42033]: #4 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:30 x299 gnome-shell[42033]: #4 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:30 x299 gnome-shell[42033]: #4 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:39 x299 gnome-shell[42033]: #0 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:18:39 x299 gnome-shell[42033]: #2 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:39 x299 gnome-shell[42033]: #3 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:39 x299 gnome-shell[42033]: #3 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:39 x299 gnome-shell[42033]: #4 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:39 x299 gnome-shell[42033]: #4 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:39 x299 gnome-shell[42033]: #4 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:39 x299 gnome-shell[42033]: #4 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:44 x299 gnome-shell[42033]: #0 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:18:44 x299 gnome-shell[42033]: #2 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:44 x299 gnome-shell[42033]: #3 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:44 x299 gnome-shell[42033]: #3 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:44 x299 gnome-shell[42033]: #4 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:44 x299 gnome-shell[42033]: #4 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:44 x299 gnome-shell[42033]: #4 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:44 x299 gnome-shell[42033]: #4 564f17380c58 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:56 x299 gnome-shell[42033]: #0 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:18:56 x299 gnome-shell[42033]: #2 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:56 x299 gnome-shell[42033]: #3 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:56 x299 gnome-shell[42033]: #3 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:56 x299 gnome-shell[42033]: #4 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:56 x299 gnome-shell[42033]: #4 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:56 x299 gnome-shell[42033]: #4 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:18:56 x299 gnome-shell[42033]: #4 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:19:01 x299 gnome-shell[42033]: #0 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:19:01 x299 gnome-shell[42033]: #2 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:19:01 x299 gnome-shell[42033]: #3 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:19:01 x299 gnome-shell[42033]: #3 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:19:01 x299 gnome-shell[42033]: #4 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:19:01 x299 gnome-shell[42033]: #4 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:19:01 x299 gnome-shell[42033]: #4 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:19:01 x299 gnome-shell[42033]: #4 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:19:04 x299 dbus-daemon[41449]: [session uid=1000 pid=41449] Activating service name='org.gnome.Shell.Extensions' requested by ':1.195' (uid=1000 pid=74079 comm="gnome-extensions prefs drop-down-terminal-x@bigbn.")
May 30 07:21:16 x299 gnome-shell[42033]: #0 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:21:16 x299 gnome-shell[42033]: #2 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:21:16 x299 gnome-shell[42033]: #3 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:21:16 x299 gnome-shell[42033]: #3 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:21:20 x299 gnome-shell[42033]: #0 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:21:20 x299 gnome-shell[42033]: #2 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:21:20 x299 gnome-shell[42033]: #3 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:21:20 x299 gnome-shell[42033]: #3 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:16 x299 gnome-shell[42033]: #0 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:23:16 x299 gnome-shell[42033]: #2 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:16 x299 gnome-shell[42033]: #3 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:16 x299 gnome-shell[42033]: #3 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:19 x299 gnome-shell[42033]: #0 564f16b9e378 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:23:19 x299 gnome-shell[42033]: #2 564f16b9e378 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:19 x299 gnome-shell[42033]: #3 564f16b9e378 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:19 x299 gnome-shell[42033]: #3 564f16b9e378 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:21 x299 dbus-daemon[41449]: [session uid=1000 pid=41449] Activating service name='org.gnome.Shell.Extensions' requested by ':1.197' (uid=1000 pid=74143 comm="gnome-extensions prefs drop-down-terminal-x@bigbn.")
May 30 07:23:40 x299 gnome-shell[42033]: #0 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:311 (aea3c00d880 @ 39)
May 30 07:23:42 x299 gnome-shell[42033]: #0 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:23:42 x299 gnome-shell[42033]: #2 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:42 x299 gnome-shell[42033]: #3 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:42 x299 gnome-shell[42033]: #3 564f17380b88 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:45 x299 gnome-shell[42033]: #0 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:23:45 x299 gnome-shell[42033]: #2 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:45 x299 gnome-shell[42033]: #3 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:45 x299 gnome-shell[42033]: #3 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:48 x299 gnome-shell[42033]: #0 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:23:48 x299 gnome-shell[42033]: #2 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:48 x299 gnome-shell[42033]: #3 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:48 x299 gnome-shell[42033]: #3 564f17380ad8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:51 x299 gnome-shell[42033]: #0 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:23:51 x299 gnome-shell[42033]: #2 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:51 x299 gnome-shell[42033]: #3 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:51 x299 gnome-shell[42033]: #3 564f16b9e2a8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:52 x299 gnome-shell[42033]: #0 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:23:52 x299 gnome-shell[42033]: #2 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:52 x299 gnome-shell[42033]: #3 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:23:52 x299 gnome-shell[42033]: #3 564f16b9e1f8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:26:31 x299 gnome-shell[42033]: #0 564f168d20c8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:26:31 x299 gnome-shell[42033]: #2 564f168d20c8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:26:31 x299 gnome-shell[42033]: #3 564f168d20c8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:26:31 x299 gnome-shell[42033]: #3 564f168d20c8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:26:50 x299 systemd[36810]: Started VTE child process 74272 launched by drop-down-terminal-x process 42883.
May 30 07:27:24 x299 gnome-shell[42033]: #0 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:27:24 x299 gnome-shell[42033]: #2 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:24 x299 gnome-shell[42033]: #3 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:24 x299 gnome-shell[42033]: #3 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:27 x299 gnome-shell[42033]: #0 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:27:27 x299 gnome-shell[42033]: #2 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:27 x299 gnome-shell[42033]: #3 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:27 x299 gnome-shell[42033]: #3 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:39 x299 gnome-shell[42033]: #0 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:27:39 x299 gnome-shell[42033]: #2 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:39 x299 gnome-shell[42033]: #3 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:39 x299 gnome-shell[42033]: #3 564f168d2018 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:59 x299 gnome-shell[42033]: #0 564f168d2198 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:27:59 x299 gnome-shell[42033]: #2 564f168d2198 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:59 x299 gnome-shell[42033]: #3 564f168d2198 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:27:59 x299 gnome-shell[42033]: #3 564f168d2198 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:29:15 x299 gnome-shell[42033]: #0 564f177fe488 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:29:15 x299 gnome-shell[42033]: #2 564f177fe488 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:29:15 x299 gnome-shell[42033]: #3 564f177fe488 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:29:15 x299 gnome-shell[42033]: #3 564f177fe488 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:29:21 x299 gnome-shell[42033]: #0 564f177fe3d8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:29:21 x299 gnome-shell[42033]: #2 564f177fe3d8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:29:21 x299 gnome-shell[42033]: #3 564f177fe3d8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:29:21 x299 gnome-shell[42033]: #3 564f177fe3d8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:32:04 x299 gnome-shell[42033]: #0 564f177fe488 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:32:04 x299 gnome-shell[42033]: #2 564f177fe488 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:32:04 x299 gnome-shell[42033]: #3 564f177fe488 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:32:04 x299 gnome-shell[42033]: #3 564f177fe488 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:34:05 x299 gnome-shell[42033]: #0 564f12d5fda8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:34:05 x299 gnome-shell[42033]: #2 564f12d5fda8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:34:05 x299 gnome-shell[42033]: #3 564f12d5fda8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:34:05 x299 gnome-shell[42033]: #3 564f12d5fda8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:34:07 x299 dbus-daemon[41449]: [session uid=1000 pid=41449] Activating service name='org.gnome.Shell.Extensions' requested by ':1.225' (uid=1000 pid=76651 comm="gnome-extensions prefs drop-down-terminal-x@bigbn.")
May 30 07:34:21 x299 gnome-shell[42033]: #0 564f12d5fda8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:504 (aea3c00de20 @ 633)
May 30 07:34:21 x299 gnome-shell[42033]: #2 564f12d5fda8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:34:21 x299 gnome-shell[42033]: #3 564f12d5fda8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:34:21 x299 gnome-shell[42033]: #3 564f12d5fda8 i /usr/share/gnome-shell/extensions/[email protected]/extension.js:508 (aea3c00de20 @ 779)
May 30 07:34:27 x299 systemd[36810]: Started VTE child process 76681 launched by drop-down-terminal-x process 42883.
When toggling the terminal and watching journalctl -a -f output, I see only repeated:
May 30 07:54:21 x299 gnome-shell[42033]: Asked to toggle
May 30 07:54:21 x299 gnome-shell[42033]: Updating window geometry false
When I move the mouse or press a key, and the window moves to the correct location, I see no new output