Fixed upstream in https://gitlab.gnome.org/GNOME/gnome-
terminal/commit/6ec754bf. Will be included in gnome-terminal 3.28.3,
whenever (if at all) released (there's no schedule for that).
Up for Ubuntu to cherry-pick the fix...
--
You received this bug notification because you are a member of Ubu
Confirmed. Thanks for the report, forwarded upstream:
https://gitlab.gnome.org/GNOME/gnome-terminal/issues/4.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1775111
Title:
g
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-terminal (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launch
** Description changed:
- Ctrl-Shift-F for Find, select a string that occurs in uppercase and
- lower or mixed-case, select "Match case", see the results show lowercase
+ Ctrl-Shift-F for Find, enter a string that occurs in uppercase and lower
+ or mixed-case, select "Match case", see the results
Aha: note this only happens if you *first* type the uppercase search
string, *then* click "Match case"; if "Match case" is selected first,
option operates as expected
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ub