Some Ace editor theme changes
Forces update of input value attribute when user changes value