{ options = { selection-clipboard = "clipboard"; }; }