require "import"
import "com.androlua.*"
import "android.app.*"
import "android.os.*"
import "android.widget.*"
import "android.view.*"
import "android.view.ViewGroup_*"
import "android.graphics.*"
activity.setTheme( android.R.style.Theme_Holo_Light_NoActionBar_TranslucentDecor )
obj=luajava.bindClass("com.android.internal.R$dimen")()
h=activity.getResources().getDimensionPixelSize( obj.status_bar_height );
layout=LinearLayout(activity)
layout.setOrientation(LinearLayout.VERTICAL)
b=TextView(activity)
b.setBackgroundColor(Color.BLUE)
b.setHeight(h)
t=LuaEditor(activity)
t.setText("print \"Hello word\"")
layout.addView(b)
layout.addView(t)
activity.setContentView(layout)

改变字体大小怎么写