- string const label() const { return token(label_, '|', 0); }
- ///
- string const shortcut() const { return token(label_, '|', 1); }
+ string const label() const;
+ /// The keyboard shortcut (usually underlined in the entry)
+ string const shortcut() const;
+ /// The complete label, with label and shortcut separated by a '|'
+ string const fulllabel() const { return label_;}