remove duplicates in font list
@@ -123,10 +123,11 @@ class ThemeAndFontConfigurationPage(ConfigurationPage):
get_workbench().update_fonts()
def _get_families_to_show(self):
- return sorted(filter(
+ # In Linux, families may contain duplicates
+ return sorted(set(filter(
lambda name : name[0].isalpha(),
tk_font.families()
- ))
+ )))
def load_plugin() -> None:
get_workbench().add_configuration_page("Theme & Font", ThemeAndFontConfigurationPage)
\ No newline at end of file
