.gdbinit_python
author Timothy Guan-tin Chien <timdream@gmail.com>
Fri, 19 Oct 2018 17:43:16 +0000
changeset 500686 655818c009b19ac39ac6b69f2e76473976fdaaeb
parent 413304 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
child 545816 fa94c9a03e3f019a060d028f61da69af41e3a8ff
permissions -rw-r--r--
Bug 1499372 - Find the media element from context menu event dispatched from video controls r=JanH Differential Revision: https://phabricator.services.mozilla.com/D9016

python
import sys
sys.path.append('third_party/python/gdbpp/')
import gdbpp
end