Player.js 883 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. /**
  2. * @author mrdoob / http://mrdoob.com/
  3. */
  4. var Player = function ( editor ) {
  5. var signals = editor.signals;
  6. var container = new UI.Panel();
  7. container.setId( 'player' );
  8. container.setPosition( 'absolute' );
  9. container.setDisplay( 'none' );
  10. //
  11. var player = new APP.Player();
  12. window.addEventListener( 'resize', function () {
  13. if ( player.dom === undefined ) return;
  14. player.setSize( container.dom.offsetWidth, container.dom.offsetHeight );
  15. } );
  16. signals.startPlayer.add( function () {
  17. container.setDisplay( '' );
  18. player.load( editor.toJSON() );
  19. player.setSize( container.dom.offsetWidth, container.dom.offsetHeight );
  20. player.play();
  21. container.dom.appendChild( player.dom );
  22. } );
  23. signals.stopPlayer.add( function () {
  24. container.setDisplay( 'none' );
  25. player.stop();
  26. container.dom.removeChild( player.dom );
  27. } );
  28. return container;
  29. };