Using custom theme version for ACE editor#.