Aleksandr Mezin

No show/map animation on XWayland

1

After fixing https://github.com/amezin/gnome-shell-extension-ddterm/issues/59 there's now no map/show animation on XWayland - the window just immediately appears. It seems that previously I've been adding it unknowingly, and that caused issues. The...

Ask for confirmation when closing a tab

3

At least if there are more processes than just the shell

GJS always complains about it when something goes wrong... Probably should use `ConnectionSet` everywhere, and perform disconnect ahead of time (before destroying the window/terminal page). `run_on_disconnect` was probably a bad...

There are currently two things in one package: a terminal emulator app, and an extension that moves its window/handles global hotkeys. The app could be distributed as flatpak instead -...

~~~ console $ gtk-builder-tool validate terminalpage.ui terminalpage.ui:78:1 Invalid object type 'VteTerminal' ~~~

https://gitlab.gnome.org/GNOME/gnome-terminal/-/blob/4f5bc124df78e2318b6ed2cae837c97fd1c61ade/src/terminal-util.c#L1116

https://github.com/ddterm/gnome-shell-extension-ddterm/issues/167

**Describe the bug** Right-clicking on the terminal hides the terminal window when `Hide on "focus out"` setting is enabled. **To Reproduce** Steps to reproduce the behavior: 1. In `Global Settings`...

Terminal window is incorrectly positioned when animation is enabled

1

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)...

## Changes Fetch config presets from HTTP URLs, as discussed in https://github.com/renovatebot/renovate/discussions/27309 ## Context I want to use shared presets, but all repositories are hosted on bitbucket server (not cloud)....