diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2014-09-20 09:48:22 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2014-09-20 11:46:49 +0200 |
| commit | a3eabec96b872bbf581c9bfa81ecc9c2819b8de8 (patch) | |
| tree | 344869ffd0d9afc4399b5567153b8f9f3a0d49ed /.ycm_extra_conf.py | |
| parent | 46c9a12780ea24ef311682897077423f1825c519 (diff) | |
terminal: grdev: treat udev-devices without devnum as hotplug
If we get udev-device events via sysview, but they lack devnum
annotations, we know it cannot be a DRM card. Look through it's parents
and treat it as hotplug event in case we find such a card.
This will treat any new/removed connectors as sub-devices of the real
card, instead of as devices on its own.
Diffstat (limited to '.ycm_extra_conf.py')
0 files changed, 0 insertions, 0 deletions