/* @option user-selected title bar style setting */