really minor for Allan

[Garst R. Reese]

Form the CVS ChangeLog
        * src/frontends/xforms/ButtonController.h (Ok): renamed from
Okay()
        (setOk): renamed from setOkay()
The proper spelling of okay is either okay or OK *not* Ok. In most fonts
Ok can be read as zero k.
Garst