8 commits

Author	SHA1	Message	Date
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