fixed hide-ui display in library mode, changed shortcuts to pure-single-keys (no need for modifiers, in fact it interferes with screen readers), fixed alternative shortcuts by not combining them (memory leak in unbind())