Improved and added settings for MediaPlayer split view slider

This commit is contained in:
Bruno Herbelin
2022-05-03 20:04:02 +02:00
parent 252ed1c6f2
commit f66d73e385
5 changed files with 31 additions and 19 deletions

View File

@@ -268,7 +268,6 @@ class SourceController : public WorkspaceWindow
float mediaplayer_height_;
float buttons_width_;
float buttons_height_;
float filter_slider_;
bool play_toggle_request_, replay_request_;
bool pending_;