         
         menu.removeAllItems()
         
-        let themeNames = ThemeManager.shared.themeNames
-        for themeName in themeNames {
+        for themeName in ThemeManager.shared.themeNames {
             menu.addItem(withTitle: themeName, action: #selector(ThemeHolder.changeTheme), keyEquivalent: "")
         }
     }

    
    
    
    // MARK: Action Messages
    
    /// activate self and perform "New" menu action

        menu.addItem(NSMenuItem.separator())
        
        // add syntax styles
        for styleName in SyntaxManager.shared.styleNames {
            menu.addItem(withTitle: styleName, action: #selector(SyntaxHolder.changeSyntaxStyle), keyEquivalent: "")
        }
        menu.addItem(NSMenuItem.separator())
