Mario Vavti
|
9bfa5c82d1
|
move profile assign selector to profile settings and personal menu selector to channel_home settings and get rid of misc channel settings section.
(cherry picked from commit 66cf085272)
|
2018-10-06 20:34:57 +02:00 |
|
Mario Vavti
|
363fc5c72b
|
whitespace
|
2018-10-04 21:49:00 +02:00 |
|
Mario Vavti
|
d4af745fc8
|
move *_divmore_height setting to the module extra_settings, and fix issue where feature settings were not synced if rpath was provided
|
2018-10-04 21:38:39 +02:00 |
|
Mario Vavti
|
20285d076b
|
settings for channel home
|
2018-09-28 11:29:05 +02:00 |
|