Set the value for a locale (whether to preserve it)
(self, langid, value)
| 527 | self.__schedule_flush() |
| 528 | |
| 529 | def set_language(self, langid, value): |
| 530 | """Set the value for a locale (whether to preserve it)""" |
| 531 | if not self.config.has_section('preserve_languages'): |
| 532 | self.config.add_section('preserve_languages') |
| 533 | if self.config.has_option('preserve_languages', langid) and not value: |
| 534 | self.config.remove_option('preserve_languages', langid) |
| 535 | else: |
| 536 | self.config.set('preserve_languages', langid, str(value)) |
| 537 | self.__schedule_flush() |
| 538 | |
| 539 | def set_tree(self, parent, child, value): |
| 540 | """Set an option for the tree view. The child may be None.""" |