Merge requests · GNOME / gnome-builder · GitLab

ide-langserv-hover: fix MarkedString

!131 · created Nov 01, 2018 by Daniel Buch Hansen master
- Merged
updated Nov 01, 2018
ide-gui: Drop dead code for IdeSessionAddin

!658 · created Oct 24, 2022 by Vanadiae
- Merged
updated Oct 25, 2022
ide-gui: Add "show document outline" to shortcuts window

!436 · created Aug 13, 2021 by Vanadiae master
- Merged
updated Aug 19, 2021
ide-frame: Fix enum constant misspelling

!444 · created Sep 27, 2021 by Keith Bailey master
- Merged
- 1
updated Sep 27, 2021
ide-editor-search-bar: emit notify when replace mode is changed

!161 · created Jan 30, 2019 by Scott Johnson master
- Closed
- 2
updated Jan 30, 2019
ide-debug-manager: Prefer breakpoint-at-warnings over breakpoint-at-criticals

!677 · created Jan 17, 2023 by Corey Berla
1. Bug
- Merged
- 1
updated Jan 18, 2023
ide-compile-commands: add every vala file in vala_info

!251 · created Feb 19, 2020 by Fernando Fernandez master
Patch needs work
- Merged
- 5
updated Feb 19, 2020
ide-clone-surface.ui: Clone when entry is activated

!158 · created Jan 29, 2019 by Christopher Davis master
- Merged
updated Jan 29, 2019
IdeAppAddin: Fix IdeApplicationAddin.open documentation

!148 · created Jan 13, 2019 by Daniel Buch Hansen master
- Closed
- 1
updated Jan 14, 2019
ide: add light bulb

!464 · created Nov 12, 2021 by Georg Vienna
- Closed
- 28
updated Dec 07, 2021
icons: update pattern pseudo-icons

!533 · created Feb 21, 2022 by Jakub Steiner
- Merged
updated Feb 21, 2022
icons: update builder-editor and builder-todo

!505 · created Jan 26, 2022 by Tobias Bernard
- Merged
updated Jan 26, 2022
icons: Symbolid Preview library

!372 · created May 04, 2021 by Jakub Steiner master
- Merged
updated May 04, 2021
icons: revamp build issues and toggle panel icons

!492 · created Jan 07, 2022 by Tobias Bernard
- Merged
updated Jan 07, 2022
icons: actually add the terminal svg

!514 · created Feb 03, 2022 by Jakub Steiner
- Merged
- 2
updated Feb 03, 2022
icon: provide icon source

!417 · created Jul 29, 2021 by Jakub Steiner master
- Merged
updated Jul 29, 2021
hover-provider: Improve styling of hover display popover

!753 · created Sep 10, 2023 by Felix Häcker
- Merged
- 1
updated Sep 11, 2023
hover: fix cancellable usage

!463 · created Nov 12, 2021 by Georg Vienna
- Merged
- 4
- Approved
updated Nov 12, 2021
help: fix word

!177 · created Mar 13, 2019 by Garrett Regier master
- Closed
- 1
updated Mar 13, 2019
gvls: add support for Vala Language Server

!267 · created Apr 23, 2020 by Princeton Ferro master
- Closed
- 2
updated May 28, 2020

Prev
1
…
21
22
23
24
25
26
27
28
29
…
42
Next