don't trigger eldoc-overlay when company-mode tooltip visible
commitcfec077d9a699c88265af2e9480d5e76a3b3f833
authorstardiviner <numbchild@gmail.com>
Sat, 23 Feb 2019 05:37:09 +0000 (23 13:37 +0800)
committerstardiviner <numbchild@gmail.com>
Sat, 23 Feb 2019 05:43:53 +0000 (23 13:43 +0800)
tree36fddbe6deb6331c77a4ee8aba635298ec674c62
parentb806ac59d240efa76b859a9ef2b8a8ec74eadde8
don't trigger eldoc-overlay when company-mode tooltip visible
eldoc-overlay.el