Skip to content
GitLab
Explore
Sign in
GNOME
gnome-builder
Merge requests
!375
feat: minimum number of characters for quick highlight addin
Code
Review changes
Check out branch
Download
Patches
Plain diff
Bryan P
requested to merge
bryanpaget/gnome-builder:min-char-for-quick-highlight
into
master
May 12, 2021
Overview
14
Commits
6
Pipelines
2
Changes
3
Expand
I've implemented the feature request found in
#1046 (closed)
.
Merge request reports