dd81f5d59f
Replace base::lambda with shorter term.
...
base::lambda -> Fn (type alias for std::function).
base::lambda_once -> FnMut (type alias for base::unique_function).
base::lambda_guarded -> crl::guard.
base::lambda_call_type_t -> crl::deduced_call_type.
2018-06-04 18:38:27 +03:00
ea7441ae77
Use single LEGAL file with license and copyright.
2018-01-03 13:23:14 +03:00
9bbcbd4bb3
Remove all legacy media overview code.
2017-12-08 22:34:26 +04: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
ffc557a0f9
Using standard library instead of std_ namespace.
...
Currently tested only in VS2015.
2017-02-21 16:45:56 +03:00
25583fa813
Replace T_WIDGET macro with a template base class.
2017-02-11 14:24:37 +03:00
4964b8b488
Beta 1000002001: Recreate audio device when no output or device changes.
2017-01-25 08:45:09 +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
8958ae0377
Typing animations from android.
2016-12-30 17:52:36 +04:00
e880c4876e
Strict alignment request for base::lambda. Various improvements.
2016-12-30 17:52:21 +04:00
7fa274a68e
Improved ripple animation colors and styles for different buttons.
...
Also moved FlatLabel and LabelSimple to ui/widgets/labels module.
Also moved ScrollArea to ui/widgets/scroll_area module.
2016-12-30 17:52:10 +04:00
48a20f0e71
Version 0.10.15 alpha: crash fix in new player, close button added.
...
Also some grammar improvements and pinned message bar hiding fixed.
2016-10-18 18:19:13 +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
8f135d7e00
Cancel state added for PlayButtonLayout in the new media player.
2016-10-09 20:08:16 +03:00
3c8fb5f1f6
Media player vector button added to new audio player cover.
2016-10-08 21:28:43 +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