gui cocoa { with option logoPlayer_options with lexique logoPlayer_lexique { fileExtension: "logoPlayer" title: "Source" blockComment : "#" } }