?? servergui.java
字號:
import java.awt.*;
import java.util.List;
import javax.swing.*;
import java.util.*;
import java.awt.event.*;
import java.io.*;
public class ServerGUI extends JFrame{
public ServerGUI(Library lib){
JProgressBar active=new JProgressBar(0,ServerPool.POOL_MAX);
JProgressBar total=new JProgressBar(0,ServerPool.POOL_MAX);
active.setStringPainted(true);
total.setStringPainted(true);
Container c=getContentPane();
c.setLayout(new GridLayout(2,1));
JPanel p=new JPanel(new FlowLayout());
p.add(new JLabel("total size"));
p.add(total);
c.add(p);
p=new JPanel(new FlowLayout());
p.add(new JLabel("active size"));
p.add(active);
c.add(p);
addWindowListener(new WindowAdapter() {
public void windowClosing(WindowEvent e) {
System.exit(0);
}
});
pack();
ServerPool sp=new ServerPool(lib,active,total);
setTitle("monitor on"+sp.getLocalPort());
}
public static void main(String[] args) {
List borrowers=new ArrayList();
for(int i=0;i<100;i++)
borrowers.add(new Borrower());
List books=new ArrayList();
for(int j=0;j<100;j++)
books.add(new Book(new Integer(j).toString()));
Library lib=new Library(books,borrowers);
ServerGUI frame = new ServerGUI(lib);
frame.setVisible(true);
}
}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -