Nemcio/DemonEditor
1
0
Fork 0
mirror of https://github.com/DYefremov/DemonEditor.git synced 2026-07-11 14:12:33 +02:00
Code Issues Packages Projects Releases Activity

fix play

Browse Source
This commit is contained in:
DYefremov
2018-08-25 23:53:53 +03:00
parent f790f7d0b5
commit 1da72666d7
1 changed files with 9 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
app/ui/main_app_window.py
View File

@@ -1010,7 +1010,7 @@ class MainAppWindow:
self._player_box.set_visible(True)
self.on_player_play()
@run_task
@run_with_delay(1)
def on_player_play(self, item=None):
self.on_player_stop(None)
path, column = self._fav_view.get_cursor()
@@ -1026,17 +1026,18 @@ class MainAppWindow:
self._player = Player.get_vlc_instance().media_player_new()
except (NameError, AttributeError):
show_dialog(DialogType.ERROR, self._main_window, "No VLC is found. Check that it is installed!")
else:
if self._player:
self._player.set_mrl(url)
self._is_played = True
self._player.play()
self._player.set_xwindow(self._drawing_area_xid)
if self._player:
self._player.set_mrl(url)
self._is_played = True
self._player.play()
self._player.set_xwindow(self._drawing_area_xid)
def on_player_stop(self, item=None):
if self._player:
self._player.stop()
self._is_played = False
self.on_player_size_allocate(self._player_drawing_area)
@run_idle
def on_player_close(self, item=None):
@@ -1044,6 +1045,7 @@ class MainAppWindow:
self._player.stop()
self._is_played = False
self._player.release()
self._player = None
GLib.idle_add(self._player_box.set_visible, False, property=GLib.PRIORITY_LOW)
def on_player_size_allocate(self, area, rectangle=None):