     
     /// Open script file in an editor.
     ///
+    /// - Parameter url: The URL of a script file to open.
     /// - Throws: `ScriptFileError`
     private func editScript(at url: URL) throws {
         

    }
    
    
    /// build Script menu
    func buildScriptMenu() {
        
        assert(Thread.isMainThread)

    
    /// Reveal script file in Finder.
    ///
    /// - Parameter url: The URL of a script file to reveal.
    /// - Throws: `ScriptFileError`
    private func revealScript(at url: URL) throws {
        
