16 commits

Author	SHA1	Message	Date
Raymond Hill	fce2eaf3c3	further improving UI for small screens	2018-03-28 16:15:50 -04:00
Raymond Hill	dbd34c4592	force default pointer because Firefox legacy (#3611)	2018-03-16 20:49:00 -04:00
Raymond Hill	fc850ec8b9	force default pointer for find next-prev buttons	2018-03-16 20:28:17 -04:00
Raymond Hill	31eaa766dc	fix other quirks with rtl languages (#3611)	2018-03-16 19:38:43 -04:00
Raymond Hill	b10ac0020d	make use of CodeMirror in "My rules" pane	2018-03-11 10:59:39 -04:00
Raymond Hill	a470c119aa	make options separator standout a bit better	2018-03-06 15:47:40 -05:00
Raymond Hill	7a90a69347	fine tuning syntax highlighter	2018-03-05 13:05:26 -05:00
Raymond Hill	9b803a2295	fine tuning syntax highlighter	2018-03-05 11:25:45 -05:00
Raymond Hill	9df0202a00	[codemirror] add active line addon	2018-03-05 06:59:03 -05:00
Raymond Hill	1205156ca3	prevent search bar from shrinking (#3567)	2018-03-04 18:23:01 -05:00
Raymond Hill	65e55549c7	fix resizing quirk due to new top panel (#3567)	2018-03-04 18:09:06 -05:00
Raymond Hill	2c45971c65	code review: fine tuning look/behavior (#3567)	2018-03-04 17:13:27 -05:00
Raymond Hill	bc61bef9a7	address #3567	2018-03-04 14:07:01 -05:00
Raymond Hill	8d5ebf44ef	support saving using keyboard (through codemirror) in "My filters"	2018-03-01 13:37:23 -05:00
Raymond Hill	8680bbc086	fine tuning codemirror styles	2018-03-01 11:26:24 -05:00
Raymond Hill	61ec088d43	integrate codemirror into "My filters" pane	2018-02-28 18:51:33 -05:00