I've submited two patches: this one and one to enable pasting colors whithout '#' in the color notebook (but it was not perfect, JazzyNico had to do a modification).
I've submited two patches: this one and one to enable pasting colors whithout '#' in the color notebook (but it was not perfect, JazzyNico had to do a modification).