After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 789042 - Autoindent still present once switching it off
Autoindent still present once switching it off
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: editor
Flatpak Nightly Channel
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2017-10-16 08:22 UTC by Carlos Soriano
Modified: 2017-10-16 09:10 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
sourceview: ensure indenter is disabled (1.53 KB, patch)
2017-10-16 09:08 UTC, Christian Hergert 		committed Details | Review

Description Carlos Soriano 2017-10-16 08:22:48 UTC 
Due to autoindent performing worse in the last release I tried to switch it off for the C language. However, the editor stills autoindent code.
Comment 1 Christian Hergert 2017-10-16 08:24:47 UTC 
The C indenter hasn't changed, so I'm a little baffled as to how it's "worse".
Comment 2 Carlos Soriano 2017-10-16 08:28:09 UTC 
I should have not said that, it's irrelevant to this bug...

I'll file a new bug for that.
Comment 3 Christian Hergert 2017-10-16 09:08:41 UTC 
Created attachment 361653 [details] [review]
sourceview: ensure indenter is disabled

When auto-indent is set to FALSE, we want to be sure that the
indenter is disabled. So clear our extension match until it
has been re-enabled or the language changed.
Comment 4 Christian Hergert 2017-10-16 09:08:59 UTC 
Attachment 361653 [details] pushed as e1bed94 - sourceview: ensure indenter is disabled
Comment 5 Christian Hergert 2017-10-16 09:10:49 UTC 
Also pushed to gnome-builder-3-26 branch.