https://bugzilla.wikimedia.org/show_bug.cgi?id=53923
--- Comment #7 from Helder ---
Another problem with the search tool from CodeEditor is that it doesn't work
immediately after I press CTRL+F, causing the text to be inserted in the JS
code instead of its search box, which is annoying.
--
You
https://bugzilla.wikimedia.org/show_bug.cgi?id=53923
Derk-Jan Hartman changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |NEW
--- Comment #6 from Derk-Jan Ha
https://bugzilla.wikimedia.org/show_bug.cgi?id=53923
Derk-Jan Hartman changed:
What|Removed |Added
Status|UNCONFIRMED |PATCH_TO_REVIEW
Ever confirmed|
https://bugzilla.wikimedia.org/show_bug.cgi?id=53923
Derk-Jan Hartman changed:
What|Removed |Added
CC||hartman.w...@gmail.com
--- Comment
https://bugzilla.wikimedia.org/show_bug.cgi?id=53923
Andre Klapper changed:
What|Removed |Added
Priority|Unprioritized |Normal
--- Comment #4 from Andre Klapp
https://bugzilla.wikimedia.org/show_bug.cgi?id=53923
--- Comment #3 from wikipe...@deeprocks.de ---
See Comment 2, the lines that are not currently shown on the screen are not
subject to the browser search.
The CE search is quite useless as it finds the first occurance of a string
only. After the
https://bugzilla.wikimedia.org/show_bug.cgi?id=53923
Ltrlg changed:
What|Removed |Added
CC||ltrlg...@gmail.com
--- Comment #2 from Ltrlg
https://bugzilla.wikimedia.org/show_bug.cgi?id=53923
Andre Klapper changed:
What|Removed |Added
Status|NEW |UNCONFIRMED
Ever confirmed|1
https://bugzilla.wikimedia.org/show_bug.cgi?id=53923
wikipe...@deeprocks.de changed:
What|Removed |Added
Web browser|--- |Firefox
--
You are receiving
https://bugzilla.wikimedia.org/show_bug.cgi?id=53923
wikipe...@deeprocks.de changed:
What|Removed |Added
Summary|Browser Search (Ctrl + F) |Browser Search (Ctrl + F)
10 matches
Mail list logo