public void setStyleName(UTCDate d, String styleName, boolean add) {
            // Code is easier to maintain if surrounded by " ", and on all browsers
            // this is a no-op.
            styleName = " " + styleName + " ";
            String key = genKey(d);
            String current = info.get(key);

            if (add) {
                if (current == null) {
                    info.put(key, styleName);
                } else if (current.indexOf(styleName) == -1) {
                    info.put(key, current + styleName);
                }
            } else {
                if (current != null) {
                    String newValue = current.replaceAll(styleName, "");
                    if (newValue.trim().length() == 0) {
                        info.remove(key);
                    } else {
                        info.put(key, newValue);
                    }
                }
            }
        }
A date highlighted event that copied on read.
stroom-core-client-widget/src/main/java/stroom/widget/datepicker/client/CustomDatePicker.java