Fix setting default mark when ctrl is pressed
Currently it does not work when the default mark is anything other than bookmark (0x1). The current code is incorrect as we use ctrlPressed as a mask which then hides the default mark, as its value is not 0x1.