| commit | ef071255e5d096d080073d0fe2d319b7fa5826bf | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Thu Jul 14 17:49:41 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Thu Jul 14 17:51:33 2016 +0200 |
| tree | d3b57d97a640d5e82fd022d07d1fbe28026369e1 | |
| parent | afb6a5b86dc972ace56fbf553fbcdb992982614c [diff] |
color: refresh the screen whenever the active syntax changes This fixes https://savannah.gnu.org/bugs/?47296.