c5845f17ae
Remove twidget header.
2019-10-01 23:59:46 +03:00
0c713a930a
Remove app.h / facades.h from precompiled header.
2019-10-01 23:59:46 +03:00
2bdce7dce6
Fix window activations handling without event loop nesting.
...
This was causing an assertion violation in Ui::PostponeCall.
- Add a generic Core::QtSignalProducer to convert Qt signals to rpl::producer.
- Track event loop nesting inside QtSignalProducer.
- Use QtSignalProducer for QWindow::activeChanged tracking.
2019-04-05 14:13:54 +04:00
99bb09374d
Use new animations engine everywhere.
2019-04-02 14:33:53 +04:00
f1e0cd6c1d
Play streaming video in mediaview.
2019-03-11 11:52:11 +04:00
ea7441ae77
Use single LEGAL file with license and copyright.
2018-01-03 13:23:14 +03:00
87ff770020
Make Media::Clip::Playback independent of slider.
...
Now animation of the playback progress is processed inside the
Media::Clip::Playback and the sliders just hold plain float64 value.
2017-05-24 16:25:06 +03:00
25583fa813
Replace T_WIDGET macro with a template base class.
2017-02-11 14:24:37 +03:00
7fb1463c43
Version 1.0 stable: bump copyright date to 2017.
2017-01-11 23:02:13 +04:00
2436ad74bd
Boxes redesigned. Common groups moved to Shared Media.
...
Also transparent images sending fixed.
2016-12-30 17:52:56 +04:00
47977009b8
Moved FloatAnimation->Animation, Animation->BasicAnimation.
2016-12-30 17:52:48 +04:00
6e33f039b2
Dropdown replaced by Ui::DropdownMenu. ScrolledWidget removed.
...
Ui::DropdownMenu is like Ui::PopupMenu, both based on Ui::Menu.
2016-10-27 15:56:48 +03:00
9eb8a93719
Media::Player::Widget added instead of PlayerWidget.
...
New media player bar widget added. Switching between floating
media player panel and media player widget. New volume controller.
2016-10-12 22:36:48 +03:00
f970ac3163
New audio player done (without playlist).
2016-09-23 19:04:26 +03:00
ce1973fd30
New media player layout started.
2016-09-17 22:28:33 +03:00
298bd2a476
New player icons and sources created.
2016-09-15 19:32:49 +03:00
John Preston