gz390.java 文件源码

private void build_log_view(){
 /*
  * build scrolling log view based on
  * current screen and font size
  */
   log_text = new JTextArea();
log_text.addMouseListener(this);
   main_view = new JScrollPane(log_text);
   main_view.getVerticalScrollBar().addAdjustmentListener(new AdjustmentListener(){
  public void adjustmentValueChanged(AdjustmentEvent e){
    if (main_view_changed){
           main_view_changed = false;
        main_view.getVerticalScrollBar().setValue(main_view.getVerticalScrollBar().getMaximum());
    }       
  }});
   main_view.setVerticalScrollBarPolicy(
   JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
main_view.setPreferredSize(                     
        new Dimension(log_width, log_height));
}