Miguel de Icaza00e614ed29When changing the font, reset the selection, fixes a crash during pinching, as we change the font size, hence changing the buffers
fcefefd991
Colors: add a mechanism to resolve the ambiguity between the two ways of representing colors that were conflicting with each other due to mistakes made over the years in the community. Various fixes from Fuzzing