Source code: com/trapezium/chisel/Workspace.java
1 /* Workspace
2 *
3 */
4
5 package com.trapezium.chisel;
6
7 import java.awt.*;
8 import java.awt.event.*;
9 import java.io.*;
10 import java.net.URL;
11 import java.util.*;
12
13
14 /** The interface for containers which can manage their contents */
15 public interface Workspace {
16
17 /** get the selected component */
18 Component getSelection();
19
20 /** select a component */
21 void setSelection(Component c);
22
23 /** hide and remove a component */
24 void close(Component c);
25
26 /** make a component the front most one */
27 void moveToFront(Component c);
28
29 /** make a component the farthest back one */
30 void moveToBack(Component c);
31
32 /** paste from the system clipboard into the currently selected component */
33 void paste();
34 void copy();
35 void cut();
36 void undo();
37 void redo();
38 void nextError();
39 void prevError();
40 }
41
42