- method private something_selected =
- self#markup_selected || self#text_selected
- method private markup_stored = MatitaMathView.has_clipboard ()
- method private text_stored = clipboard#text <> None
- method private something_stored = self#markup_stored || self#text_stored
+ method private somethingSelected = self#markupSelected || self#textSelected
+ method private markupStored = MatitaMathView.has_clipboard ()
+ method private textStored = clipboard#text <> None
+ method private somethingStored = self#markupStored || self#textStored