Make pattern loading work on IE10.

do we still use this code path?

    case 'PS':  // Pen style with image
      if (!values[0] || values[0] == 'DEFAULT') {
          Turtle.setPattern(null);
      } else {
        Turtle.setPattern(document.getElementById(values[0]));
      }