Christian Brabandt 99971aa24d
highlighter: also check separator groups for being defined
Make sure, to also check, if the separator groups have already been
defined. Once they are defined initially, they are usually available in
the palette group. So do not redefine them once they have been created
initially.

references #1779
2018-11-08 15:31:58 +01:00
..
2018-01-05 10:37:59 +01:00
2018-10-15 14:17:49 +02:00
2018-01-05 10:37:59 +01:00
2018-10-15 20:35:28 +08:00
2018-01-05 10:37:59 +01:00