19 Commits

Author	SHA1	Message	Date
Chris	6e41dc0078	Safari refinements to dynamic filtering UI indicators	2015-05-31 18:15:52 -06:00
Chris	e7165c9ff7	Safari: smoother popup pane toggling; cleanup popup js	2015-05-01 10:25:48 -06:00
Chris	68739e3df3	Safari: fix popup to work in logger	2015-05-01 10:05:11 -06:00
Chris	c70a932d86	Fix issue links in source code ... Thanks @hotdogman and @yfdyh000 -- closes #1202 and #1157 ... and #1167	2015-04-08 16:36:14 -06:00
Chris	a3bef3a1bd	Safari-specific popup JS is now.. nicer	2015-04-07 00:37:48 -06:00
Chris	93d26f6159	Safari: popup resizing fix for #1066	2015-03-21 15:11:42 -05:00
Chris	072bfb9567	Update header comments (copyright year, etc.)	2015-03-17 19:08:48 -06:00
Chris	774e30aec6	Helps #996 and simplifies platform code	2015-03-17 18:55:19 -06:00
Chris	cf3816b494	Safari: code review for readability	2015-03-16 18:09:06 -06:00
Chris	3c9f5c0da1	Safari: don't need to inject a stylesheet into popup	2015-03-16 18:08:12 -06:00
Chris	924bcfab62	Safari: remove hardcoded values from popup resizing	2015-03-16 17:40:17 -06:00
Chris	30f795caf5	Safari: remove dead code	2015-03-16 17:13:02 -06:00
Chris	5e363d1e37	Safari: fix popup resizing hiccup	2015-03-16 17:08:28 -06:00
Chris	9395e78957	Safari: make popup sizing work w/ recent modifications	2015-03-16 12:02:54 -06:00
Chris	5b16418e60	Safari: don't double inject, and cleanup stray unicode	2015-02-09 22:47:45 -07:00
Raymond Hill	3982bd6de9	Merge pull request #478 from chrisaljoudi/master ... Safari: remove extra call to popup resize -- now smoother	2015-01-11 21:43:01 -05:00
Chris	1c60434977	Safari: remove extra call to popup resize -- now smoother	2015-01-11 19:37:10 -07:00
gorhill	b5d8c0ed52	standard comment header	2015-01-11 21:18:24 -05:00
Chris	0bd245803f	Abstract out platform-specific popup UI JavaScript	2015-01-11 19:07:25 -07:00