Bram Moolenaar a9defadb8f patch 8.1.0169: calling message_filtered() a bit too often ...

Problem:    Calling message_filtered() a bit too often.
Solution:   Only call message_filtered() when filtering is already false.

2018-07-08 18:20:24 +02:00

72 KiB

Raw Blame History

View Raw