[PD-dev] [ pure-data-Patches-3383991 ] fix buggy editmode menu option appearance