Corrently focus HTML editor to make cursor visible. Patch by JohnDoh (#1487...

thomascube

2012-04-07 59c404de0b1dd1da38773b7617276bc81535443a

 program/js/editor.js

@@ -107,7 +107,7 @@
      if (textarea && node)
        node.tabIndex = textarea.tabIndex;
      if (focus)
        editor.getWin().focus();
        editor.getBody().focus();
    }
  }
}