** 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
Public bug reported:
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
instances
Ubuntu 18.04 LTS
gnome-terminal: 3.28.1-1ubuntu1.1
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
S
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
Updated package removed error message for me:
# apt-cache policy appstream
appstream:
Installed: 0.9.4-1ubuntu2
Candidate: 0.9.4-1ubuntu2
Version table:
0.10.1-1~ubuntu16.04.1 100
100 http://us.archive.ubuntu.com/ubuntu xenial-backports/main amd64
Packages
*** 0.9.4-1ubuntu2 4