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 774348 - [PATCH] Delete following '>' on deleting '<'
[PATCH] Delete following '>' on deleting '<'
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: editor
3.21.x
Other Linux
: Normal minor
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2016-11-13 06:30 UTC by Mohammed Sadiq
Modified: 2016-11-21 04:57 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
source-view: delete following '>' on deleting '<' (976 bytes, patch)
2016-11-13 06:30 UTC, Mohammed Sadiq 		committed Details | Review

Description Mohammed Sadiq 2016-11-13 06:30:53 UTC 
Created attachment 339739 [details] [review]
source-view: delete following '>' on deleting '<'

'<' may be paired with '>' in cases like #includes, and may be
used extensively in Languages like C++ and Java.

This patch deletes following '>' (if any) on deleting '<' using
BackSpace key.
Comment 1 Christian Hergert 2016-11-13 08:15:19 UTC 
Review of attachment 339739 [details] [review]:

Seems reasonable.
Comment 2 Christian Hergert 2016-11-13 08:46:02 UTC 
Comment on attachment 339739 [details] [review]
source-view: delete following '>' on deleting '<'

Thanks!