Bram Moolenaar f07f9e731e patch 8.1.0081: the terminal debugger doesn't adjust to changed 'background' ...

Problem:    The terminal debugger doesn't adjust to changed 'background'.
Solution:   Add an OptionSet autocommand. (Christian Brabandt)

2018-06-19 17:27:53 +02:00

..

dist/opt

patch 8.1.0081: the terminal debugger doesn't adjust to changed 'background'

2018-06-19 17:27:53 +02:00