1 | Dimension getMinimumSize()↵ | | 1 | Dimension getMinimumSize()↵
|
2 | {↵ | | 2 | {↵
|
3 | return new Dimension(0,0);↵ | | 3 | return new Dimension(0,0);↵
|
4 | } //}}}↵ | | 4 | } //}}}↵
|
|
| | | 5 | //{{{ setWaitSocket() method↵
|
| | | 6 | /**↵
|
| | | 7 | * This socket is closed when the buffer is closed.↵
|
| | | 8 | */↵
|
| | | 9 | public void setWaitSocket(Socket waitSocket)↵
|
| | | 10 | {↵
|
| | | 11 | this.waitSocket = waitSocket;↵
|
| | | 12 | } //}}}↵
|
|
5 | //{{{ toString() method↵ | | 13 | //{{{ toString() method↵
|
6 | public String toString()↵ | | 14 | public String toString()↵
|
7 | {↵ | | 15 | {↵
|
8 | return getClass().getName() + "["↵ | | 16 | return getClass().getName() + "["↵
|
9 | + (view.getEditPane() == this↵ | | 17 | + (jEdit.getActiveView() == this↵
|
10 | ? "active" : "inactive")↵ | | 18 | ? "active" : "inactive")↵
|
11 | + "]";↵ | | 19 | + "]";↵
|
12 | } | | 20 | }
|