projects / vidi-player.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d79a5b) | patch
Fix converting paths to URIs
authorAntonio Ospite <ao2@ao2.it>
Sun, 27 Nov 2016 15:05:47 +0000 (16:05 +0100)
committerAntonio Ospite <ao2@ao2.it>
Sun, 27 Nov 2016 18:23:00 +0000 (19:23 +0100)
commit4ed04d98bb6205b3d96ab924991a1adc7a9465f3
tree9264277ebe2284d03f99bf3d7ff73999a64c078etree | snapshot
parent0d79a5bbce33df27b08acf2dd67009bc9f5dd205commit | diff
Fix converting paths to URIs

In particular this fixes adding clips with a filename which has to be
quoted when becoming part of a URI, like sample_F#5.mkv
examples/ges-simple-player.py diff | blob | history
vidi-player.py diff | blob | history
vidi/Timeline.py diff | blob | history
Create a video timeline starting from a MIDI file