build/.gdbinit_python.in
author Imanol Fernandez <mortimergoro@gmail.com>
Fri, 09 Nov 2018 11:59:28 +0000
changeset 445419 4c759f171cefc121537bfdcc2213a04effc72057
parent 362829 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
child 482060 fa94c9a03e3f019a060d028f61da69af41e3a8ff
permissions -rw-r--r--
Bug 1498246 - Add GeckoView Media API r=rbarker,snorp,esawin,jchen,cvan Add GeckoView Media API which provides a way to listen to HTMLMediaElement events in a GeckoSession and control the playback externally Differential Revision: https://phabricator.services.mozilla.com/D9026

#filter substitution
python
import sys
sys.path.append('@topsrcdir@/third_party/python/gdbpp')
import gdbpp
end