Merge requests · GNOME / gnome-builder

flatpak: Add intltool shared submodule

!205 · created Jul 30, 2019 by Javier Jardón master
- CLOSED
- 1
updated Jul 30, 2019
Fix wrong semantics in german translation

!235 · created Dec 14, 2019 by FrHun master
- CLOSED
- 1
updated Dec 15, 2019
Fix UI files opening in Directory Browser

!194 · created May 11, 2019 by James Westman master
- CLOSED
- 2
updated May 13, 2019
Fix some issues with the intelephense port

!575 · created May 28, 2022 by Peter Maatman
- CLOSED
- 4
updated Jul 17, 2022
fix out of sync strings in several translations

!236 · created Dec 15, 2019 by FrHun master
- CLOSED
- 2
updated Dec 15, 2019
Fix notifications popup wrapping

!210 · created Aug 31, 2019 by Diego Escalante Urrelo master
- CLOSED
- 1
- 4
updated Aug 31, 2019
Fix Loading/Unloading via Preferences

!272 · created May 08, 2020 by Günther Wagner master
- CLOSED
- 1
updated May 11, 2020
Fix Italian translation

!129 · created Oct 27, 2018 by Federico Barone master
- CLOSED
- 1
updated Oct 27, 2018
Fixed dW movement

!108 · created Aug 25, 2018 by Yotam master
- CLOSED
- 2
updated Aug 28, 2018
Fix build issues when using CMakeLists.txt in a subdirectory

!114 · created Sep 17, 2018 by Ryan Gonzalez master Patch needs work
- CLOSED
- 4
updated Sep 17, 2018
Fix a typo

!593 · created Jul 16, 2022 by Bryan
- CLOSED
- 1
- 1
updated Jul 18, 2022
Fix alpha component of color picker in some locales

!90 · created Aug 01, 2018 by Ricardo Silva Veloso master
- CLOSED
- 8
updated Aug 03, 2018
Fix a few more papercuts in ctrl+f search

!659 · created Oct 27, 2022 by Jonas Dreßler
- CLOSED
- 2
updated Oct 27, 2022
feat: minimum number of characters for quick highlight addin

!375 · created May 12, 2021 by Bryan P master
- CLOSED
- 14
updated Dec 20, 2021
eslint: Do not use runtime

!490 · created Jan 01, 2022 by Sonny Piers
- CLOSED
- 19
updated Jan 05, 2022
editor: change keyboard shortcut for switching documents

!378 · created May 23, 2021 by liferooter master
- CLOSED
- 4
updated May 24, 2021
editor: change keyboard shortcut for switching documents

!200 · created Jul 05, 2019 by Adwait Rawat master Patch needs work
- CLOSED
- 10
updated Dec 21, 2021
Editing repo URLs

!63 · created Jun 17, 2018 by David Ross master
- CLOSED
- 1
updated Jun 17, 2018
Draft: Try harder to support webkitgtk-6.0

!667 · created Nov 18, 2022 by Michael Catanzaro
- CLOSED
- 1
updated Nov 18, 2022
Draft: Softened extreme colors in Builder Dark theme

!581 · created Jun 16, 2022 by Jesse Steele
- CLOSED
- 0
updated Jun 16, 2022