equal
deleted
inserted
replaced
1147 i = self.config("ui", "interface") |
1147 i = self.config("ui", "interface") |
1148 if i in alldefaults: |
1148 if i in alldefaults: |
1149 defaultinterface = i |
1149 defaultinterface = i |
1150 |
1150 |
1151 choseninterface = defaultinterface |
1151 choseninterface = defaultinterface |
1152 f = self.config("ui", "interface.%s" % feature, None) |
1152 f = self.config("ui", "interface.%s" % feature) |
1153 if f in availableinterfaces: |
1153 if f in availableinterfaces: |
1154 choseninterface = f |
1154 choseninterface = f |
1155 |
1155 |
1156 if i is not None and defaultinterface != i: |
1156 if i is not None and defaultinterface != i: |
1157 if f is not None: |
1157 if f is not None: |