 
         if styleChanged {
             highlighter.setStyle(name: userStyle)
+            updateStyleMenu()
         }
     }
     

        #if !DEBUG
            PFMoveToApplicationsFolderIfNecessary()
        #endif
        
        // register hotkey
        if hotkey != nil {

                pboard.declareTypes([NSRTFPboardType], owner: self)
                pboard.setData(data!, forType: NSRTFPboardType)
            }
        }
    }
    
