Merge requests · GNOME / gnome-builder

gui: Restore currently visible pages on top of all the others

!398 · created Jul 09, 2021 by Vanadiae master
- Merged
updated Jul 09, 2021
gui: Remove FIXME that referred to a closed MR

!274 · created May 11, 2020 by Peter Maatman master
- Merged
- 4
updated May 11, 2020
gui: fix reload action in modified_refealer

!149 · created Jan 14, 2019 by Daniel Buch Hansen master
- Closed
- 1
updated Jan 14, 2019
gui: Clear search entries on Escape press

!212 · created Sep 06, 2019 by Diego E master
- Closed
- 3
updated Sep 06, 2019
gui: Cancel previous search when typing new text in search button

!385 · created Jun 28, 2021 by Vanadiae master
- Merged
- 1
updated Jun 28, 2021
gui: Always keep frame header pages' icon in sync

!367 · created Apr 11, 2021 by Vanadiae master
- Merged
- 3
updated Apr 15, 2021
gui: Add support for session autosaving

!400 · created Jul 12, 2021 by Vanadiae master
- Merged
- 26
updated Jan 08, 2022
gstyle: update the ITS file

!28 · created Mar 27, 2018 by Piotr Drąg master
- Merged
- 1
updated Mar 27, 2018
grep+terminal: Use a distinct shortcut for grep panel and terminal search

!731 · created Apr 27, 2023 by Vanadiae
- Merged
- 4
updated Apr 25, 2024
grep: Rework whole plugin

!419 · created Aug 01, 2021 by Vanadiae master
- Merged
- 13
updated Aug 05, 2021
grep: Make filename matching regex include all possible characters

!482 · created Dec 20, 2021 by Vanadiae
- Merged
- 1
updated Dec 20, 2021
grep: Allow making a new search when one is already running

!483 · created Dec 21, 2021 by Vanadiae
- Closed
- 3
updated Dec 22, 2021
grep: allow lines up to 1024 chars

!673 · created Dec 15, 2022 by Vanadiae
- Merged
updated Dec 15, 2022
grep: add path filters

!132 · created Nov 03, 2018 by Ghost User master
Patch needs work
- Closed
- 7
- 1
updated Dec 21, 2021
greeter: Use GtkFileChooserNative instead of GtkFileChooserDialog

!363 · created Mar 19, 2021 by Corentin Noël master
- Closed
- 6
updated Jan 06, 2022
greeter: increased height of greeter

!528 · created Feb 17, 2022 by Günther Wagner
- Merged
updated Feb 18, 2022
greeter: Add support for back-button

!255 · created Mar 04, 2020 by Adwait Rawat master
- Merged
- 2
updated Mar 04, 2020
Gradle test provider

!59 · created Jun 16, 2018 by Ghost User master
- Closed
- 4
updated Jun 16, 2018
gradle: Port gradle wrapper to PipelineStageLauncher

!162 · created Feb 02, 2019 by Daniel Buch Hansen master
- Closed
- 2
updated Feb 06, 2019
gradle plugin 3 of 3 checklist items completed

!49 · created May 27, 2018 by Ghost User master
- Merged
- 10
- 1
updated May 30, 2018