8 commits

Author	SHA1	Message	Date
Raymond Hill	f764435812	various changes to enhance UI for mobile devices	2018-03-28 09:11:55 -04:00
Raymond Hill	6871d9aed4	add ability to filter out rules in "My rules" pane	2018-03-21 07:24:52 -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	2c45971c65	code review: fine tuning look/behavior (#3567)	2018-03-04 17:13:27 -05:00
Raymond Hill	c59ceff6a1	code review: always search from current cursor position (#3567)	2018-03-04 15:52:34 -05:00
Raymond Hill	bc61bef9a7	address #3567	2018-03-04 14:07:01 -05:00