Ticket #5676: 5676.patch

_source/plugins/colorbutton/plugin.js

@@ -140 +140 @@
 
                                 // The data can be only a color code (without #) or colorName + color code
                                 // If only a color code is provided, then the colorName is the color with the hash
+                                // Convert the color to 6 places for better compatibility with IE and <font>. See #5676
                                 if (!parts[1])
-                                        colorName = '#' + colorName;
+                                        colorName = '#' + colorName.replace( /^(.)(.)(.)$/, '$1$1$2$2$3$3' );
 
                                 var colorLabel = editor.lang.colors[ colorCode ] || colorCode;
                                 output.push(