final AJAXFlags aflags = new AJAXFlags(this);

      public int getFontSize() {

        return WindowManagerImpl.this.getFontSize();

      }

   * @param source

   * @param args

   */

  public void render(StringOutput sb, Component source, String[] args) {

    // wrap with div's so javascript can replace this component by doing a document.getElementById(cid).innerHTML and so on.

    boolean domReplaceable = source.isDomReplaceable();

    boolean useSpan = source.getSpanAsDomReplaceable();

    if (source.isVisible()) {

      int lev = renderResult.getNestedLevel();

      if (lev > 42) throw new AssertException("components were nested more than 42 times, assuming endless loop bug: latest comp name: "+source.getComponentName());

      Translator componentTranslator = source.getTranslator();

      // when user repeateadly presses reload, and also to distribute bandwidth more

      // evenly.

      // postcondition: each controller's events are called by one gui-thread at a time only.

     

      //System.out.println("in window:");

      // -------------------------

      // ----- ajax mode ---------

      // -------------------------

      if (bgEnab && (ureq.getMode() & 1) == 1) {

          root.put("wts", timestamp);

          JSONArray ja = new JSONArray();

          root.put("cps", ja);

         

         

          synchronized(render_mutex) { //o_clusterOK by:fj

            // we let all dirty components render themselves.

            // not offered (since not usability-useful) is the include of new js-libraries and css-libraries here, since this may invoke a screen reload

            // which disturbes the user and lets him/her loose the focus and the cursor.

      // Open velocity page for this help page

      String pagePath = bundleName.replace('.', '/') + ContextHelpModule.CHELP_DIR + page;

      VelocityContainer container =  new VelocityContainer("contextHelpPageVC", pagePath, pageTranslator, null);         

      Context ctx = container.getContext();   

        public int getFontSize() { return 100;}

        public AJAXFlags getAjaxFlags() { return new EmptyAJAXFlags();}

        public ComponentRenderer getComponentRendererFor(Component source) {

          return null;

        }