PJ: fix prototypes for options (inks and pen tools).
PJ: fix prototypes for palette menu.