configtool: cfgNames is a set()

This commit is contained in:
Nico Tonnhofer 2019-01-15 08:17:16 +01:00
parent e4896a1257
commit b8687c4eac
2 changed files with 4 additions and 4 deletions

View File

@ -99,7 +99,7 @@ class Board:
helpKey = None
self.cfgValues = {}
self.cfgNames = []
self.cfgNames = set()
self.helpText = {}
prevLines = ""
@ -230,7 +230,7 @@ class Board:
if m:
t = m.groups()
if len(t) == 1:
self.cfgNames.append(t[0])
self.cfgNames.add(t[0])
return True
return False

View File

@ -56,7 +56,7 @@ class Printer:
helpKey = None
self.cfgValues = {}
self.cfgNames = []
self.cfgNames = set()
self.helpText = {}
prevLines = ""
@ -145,7 +145,7 @@ class Printer:
if m:
t = m.groups()
if len(t) == 1:
self.cfgNames.append(t[0])
self.cfgNames.add(t[0])
return True
return False