Search results

NixOS packaging

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#1203 In ddterm/gnome-shell-extension-ddterm;

· amezin opened on Feb 17, 2025

Terminal does not have focus when opened

bugSomething isn't workingSomething isn't working

Status: Open.

#1190 In ddterm/gnome-shell-extension-ddterm;

· inhaledesign opened on Feb 6, 2025

Support for Gnome 48

bugSomething isn't workingSomething isn't working

Status: Open.

#1188 In ddterm/gnome-shell-extension-ddterm;

· mokilcde opened on Feb 6, 2025

Test failures when trying to update from AUR

bugSomething isn't workingSomething isn't working

Status: Open.

#1183 In ddterm/gnome-shell-extension-ddterm;

· Areiser opened on Jan 31, 2025

Use #private properties where possible

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#1158 In ddterm/gnome-shell-extension-ddterm;

· amezin opened on Jan 9, 2025

Mouse/scrollwheel in shortcuts support; Alternative shortcuts support

enhancementNew feature or requestNew feature or request

Status: Open.

#1157 In ddterm/gnome-shell-extension-ddterm;

· krokwen opened on Jan 7, 2025

Take focus into account for "toggling" the window

enhancementNew feature or requestNew feature or request

Status: Open.

#1131 In ddterm/gnome-shell-extension-ddterm;

· amezin opened on Dec 13, 2024

Use GObject.bind_property_full()

enhancementNew feature or requestNew feature or request

Status: Open.

#1099 In ddterm/gnome-shell-extension-ddterm;

· amezin opened on Nov 5, 2024

Replace _init() with constructor() where possible

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#1098 In ddterm/gnome-shell-extension-ddterm;

· amezin opened on Nov 5, 2024

[feature] Easy access to buttons to split layout

enhancementNew feature or requestNew feature or request

Status: Open.

#983 In ddterm/gnome-shell-extension-ddterm;

· gersonjferreira opened on Jul 4, 2024

Move panel icon freely

enhancementNew feature or requestNew feature or request

Status: Open.

#944 In ddterm/gnome-shell-extension-ddterm;

· uosyph opened on May 24, 2024

Can't use "Shift + Ctrl + `" shortcut

bugSomething isn't workingSomething isn't working

Status: Open.

#939 In ddterm/gnome-shell-extension-ddterm;

· sergeycherepanov opened on May 16, 2024