Marcin Kulik
|
57bcab04c9
|
Use proper PlaybackOptions object for passing options to JS player
|
2014-01-18 14:12:10 +01:00 |
|
Marcin Kulik
|
cf78f0dfe0
|
Update the player to new design
|
2013-11-20 21:33:22 +01:00 |
|
Marcin Kulik
|
90954c03b6
|
Add support to embed script for making the terminal font 2x bigger
|
2013-10-12 16:34:31 +02:00 |
|
Marcin Kulik
|
0634f52c99
|
Change all occurrences of old project name to the new one
|
2013-09-23 19:05:36 +02:00 |
|
Marcin Kulik
|
ee636bf958
|
Update the player to use backend-generated JSON frames
|
2013-09-21 13:05:13 +02:00 |
|