Katy310
7206685dae
Make more streams visible when window is narrow.
...
When user list displays on the left, the maximum height of the
<code>stream-filters-container</code> is determined by the function
<code>confine_to_range(lo,val,high)</code>. By changing the value of
<code>lo</code> to 80, the <code>stream-filters-container</code>
resizes to 80 px instead of 40 px.
Fixes #2510 .
2017-01-12 16:53:45 -08:00
..
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2016-11-29 08:58:39 -08:00
2017-01-11 15:23:42 -08:00
2017-01-12 15:23:31 -08:00
2016-12-07 16:11:52 -08:00
2016-12-03 18:43:47 -08:00
2017-01-11 15:23:42 -08:00
2016-12-29 06:01:33 -08:00
2016-12-14 19:29:02 -08:00
2016-12-07 16:11:52 -08:00
2017-01-12 16:47:32 -08:00
2016-12-07 16:11:52 -08:00
2017-01-10 04:55:41 -08:00
2017-01-12 16:47:32 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-04 12:42:16 -08:00
2016-12-14 21:34:51 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2016-08-25 14:12:58 -07:00
2016-12-07 16:11:52 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 16:29:58 -08:00
2016-12-07 16:11:52 -08:00
2016-12-09 11:08:08 -08:00
2017-01-11 18:31:17 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-06 10:37:54 -08:00
2016-12-07 16:11:52 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-12 04:52:44 -08:00
2017-01-11 15:23:42 -08:00
2017-01-05 15:32:45 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2016-03-27 13:49:52 -07:00
2017-01-11 15:23:42 -08:00
2016-12-07 16:11:52 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-12 15:31:18 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-12 16:53:45 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 16:30:07 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-12 15:23:31 -08:00
2016-12-14 21:34:51 -08:00
2016-12-01 14:27:17 -08:00
2016-12-07 16:11:52 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-04 22:48:34 -08:00
2017-01-11 15:23:42 -08:00
2016-12-02 14:43:09 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2017-01-11 15:23:42 -08:00
2016-12-07 16:11:52 -08:00