~ fixed bug that blocked shortcuts after F12 stroke