Merge requests · GNOME / Console

primary menu: Rename tooltip to Main Menu

!135 · created Jan 22, 2023 by Hari Rana
- 0
updated Jan 22, 2023
general: Fix Continuous Integration

!133 · created Jan 03, 2023 by Sergio Costas
- 0
updated Jan 03, 2023
tab: detect "mosh" binary, too

!128 · created Dec 06, 2022 by Tomasz Torcz
- 1
- 0
updated Dec 06, 2022
Add toolbox detection

!125 · created Nov 14, 2022 by Patrick Griffis
- 5
- 0
updated Nov 15, 2022
tab: Detect ssh with waypipe

!124 · created Nov 04, 2022 by Michel Dänzer gnome-43
- 1
- 0
updated Nov 04, 2022
Zoom with Ctrl + Scroll

!122 · created Oct 22, 2022 by Jacob Duba
- 1
- 23
updated Nov 04, 2022
Draft: window: Use AdwAdaptiveState for adaptivity

!121 · created Oct 08, 2022 by Christopher Davis
- 0
updated Oct 08, 2022
Port to AdwTabOverview

!119 · created Sep 16, 2022 by Alexander Mikhaylenko GNOME 44
- 2
- 2
updated Oct 08, 2022
application: Only restore window size if setting says so

!118 · created Sep 14, 2022 by Jonas Ådahl GNOME 43
- 1
- 11
updated Dec 01, 2022
style: Add 6px padding on the bottom too

!115 · created Aug 15, 2022 by Jonas Ådahl
- 2
- 3
updated Aug 16, 2022
Draft: Implement fullscreen feature 0 of 2 checklist items completed

!108 · created Aug 04, 2022 by Alexander Mikhaylenko
- 1
- 7
updated Nov 30, 2022
terminal: Add palette support

!92 · created Jun 15, 2022 by Rastersoft
- 4
- 18
updated Jan 03, 2023
terminal: New colour scheme based on gnome-terminal

!80 · created Feb 09, 2022 by Calvin Walton
- 6
- 5
updated Jun 22, 2022
WIP: XDG Term

!56 · created May 11, 2021 by Zander Brown GNOME 44
updated Sep 07, 2022