/* @option user-selected menu opacity setting */