ddterm gnome-shell-extension-ddterm Q A · Discussions · GitHub

Sort by: Latest activity

Q&A Discussions

Ask the community for help

You must be logged in to vote

Adjust prompt position

der-ali asked Jan 16, 2023 in Q&A · Unanswered

1
You must be logged in to vote

Disable bell
enhancement New feature or request
magarto asked Dec 8, 2022 in Q&A · Unanswered

1
You must be logged in to vote

Scroll page shortcuts?

gzzinx asked Nov 27, 2022 in Q&A · Unanswered

1
You must be logged in to vote

ligatures support

cliarena asked Jun 16, 2022 in Q&A · Unanswered

1
You must be logged in to vote

Where settings are stored ?

EdiDD asked Oct 28, 2021 in Q&A · Answered

2
You must be logged in to vote

[Answered] Is there a way to have ddterm show in the alt+tab list when open?

tledford4 asked Mar 6, 2022 in Q&A · Unanswered

2
You must be logged in to vote

Tiling compatibility ?

EdiDD asked Nov 4, 2021 in Q&A · Unanswered

1
You must be logged in to vote

Is it using gnome-terminal in background ?

EdiDD asked Oct 22, 2021 in Q&A · Answered

4
You must be logged in to vote

Windows alternative?

TheRealGramdalf asked Oct 13, 2021 in Q&A · Unanswered

0
You must be logged in to vote

Remove white border?

PHLAK asked Sep 23, 2021 in Q&A · Answered

2