6 Commits

Author	SHA1	Message	Date
tophf	75cf46aaa7	fix search-target-editor style	2020-12-08 23:03:13 +03:00
tophf	e1807c8851	restore autosize-on-type of find input	2020-07-24 07:42:58 +03:00
tophf	7e195594b5	show all spaces in find input in firefox (#1002)	2020-07-23 17:27:29 -04:00
narcolepticinsomniac	eb0b9f58f5	Fix search highlight conflict (#587) ... * Fix search highlight conflict Regular highlight styling and search highlight styling shouldn't both be applied at the same time. Search highlight styling should also be removed when search is closed. This PR resolves those conflicts. * Remove unnecessary dummy animation Not sure what the point of it ever was, but I'm pretty sure it should go.	2018-11-27 22:48:45 -06:00
tophf	e50ff316ba	toggle narrow width mode tooltips via html+css; code cosmetics	2017-12-19 02:48:47 +03:00
tophf	d10e83d15c	editor: rewrite global search/replace	2017-12-18 10:27:50 +03:00