// -*- mode: java; c-basic-offset: 2; -*-
// Copyright 2009-2011 Google, All Rights reserved
// Copyright 2011-2012 MIT, All rights reserved
// Released under the Apache License, Version 2.0
// http://www.apache.org/licenses/LICENSE-2.0

package com.google.appinventor.client.widgets.properties;

import com.google.gwt.user.client.ui.TextArea;

/**
 * Property editor for long text.  Appears as a scrollable, resizable area.
 *
 */
public class TextAreaPropertyEditor extends TextPropertyEditorBase{

  public TextAreaPropertyEditor() {
   super(new TextArea());
  }
}

@@ -107,17 +107,17 @@
 2011-201
-2
+8
  MIT, Al
@@ -422,11 +422,8 @@
 ea.%0A
- *%0A
  */%0A
@@ -492,70 +492,565 @@
 Base
+ 
 %7B%0A%0A  
-public TextAreaPropertyEditor() %7B%0A   super(new TextArea()
+/* same as the height set in TextPropertyEditorBase */%0A  private static final String MIN_CSS_HEIGHT = %222em%22;%0A%0A  /* tightly coupled with the width of properties panel:%0A   * 186px == width of properties panel - side paddings and borders of textarea%0A   *       == 194px - 8px%0A   */%0A  private static final String MAX_CSS_WIDTH = %22186px%22;%0A%0A  public TextAreaPropertyEditor() %7B%0A   super(new TextArea());%0A%0A   textEdit.getElement().getStyle().setProperty(%22min-height%22, MIN_CSS_HEIGHT);%0A   textEdit.getElement().getStyle().setProperty(%22max-width%22, MAX_CSS_WIDTH
 );%0A 

Add two css styles to textarea