|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdevisor2.grid.options.DrawControl
This is the convenience class for easy access of all draw options
such as colors, fonts and paint flags.
These options are still being stored in the Options class, therefore
also made persistent with it, and this class is updated every time
any of these options are changed. Updating is taken care of by the
constructor only.
For easy access, there is a reference to the most recent instance of this
class in the ControlCenter, which you can access as usual.
Field Summary | |
int |
act_x1
the actual MainFrame width |
int |
act_x2
the actual MainFrame width |
int |
act_y1
the actual MainFrame width |
int |
act_y2
the actual MainFrame width |
java.awt.Color[] |
boundary_palette
the palette for boundary colors |
java.awt.Color |
color_background
color of the background |
java.awt.Color |
color_boundarynumber
boundarynumbers are painted with |
java.awt.Color |
color_edge
color edges are painted with |
java.awt.Color |
color_edgebase
base color edges are painted with |
java.awt.Color |
color_edgenumber
color edgenumbers are painted with |
java.awt.Color |
color_element
color elements are painted with |
java.awt.Color |
color_elementnumber
color elementnumbers are painted with |
java.awt.Color |
color_grid
color of the grid |
java.awt.Color |
color_lasso
color of the lasso |
java.awt.Color |
color_node
color nodes are painted with |
java.awt.Color |
color_nodenumber
color nodenumbers are painted with |
java.awt.Color |
color_rect
highlight color for rectangular status |
java.awt.Color |
color_selection
highlight color for selections |
boolean |
cross_element
flag to indicate if elements are crossed |
boolean |
displaycoords
flag to toggle user coords of mouse position feedback |
boolean |
draw_boundary
flag to indicate if boundaries are painted |
boolean |
draw_edge
flag to indicate if edges are painted |
boolean |
draw_element
flag to indicate if elements are painted |
boolean |
draw_grid
flag to indicate if the grid is painted |
boolean |
draw_node
flag to indicate if nodes are painted |
boolean |
draw_orientationmarkers
flag to toggle drawing of orientation markers |
boolean |
draw_perimeter
flag to indicate if the perimeter is painted |
boolean |
fill_element
flag to indicate if elements are filled |
java.awt.Font |
font_numbering
font used to display numbering |
boolean |
highlight_rect
flag to indicate if rectangular elements are highlighted |
boolean |
number_boundary
flag to indicate if boundary numbers are painted |
boolean |
number_edge
flag to indicate if edge numbers are painted |
boolean |
number_element
flag to indicate if element numbers are painted |
boolean |
number_node
flag to indicate if node numbers are painted |
java.awt.Color[] |
parallel_palette
all fillxx colors in one palette |
int |
screen_height
the physical screen heigth |
int |
screen_width
the physical screen width |
int |
tolerance
click tolerance (i.e. |
int |
used_screen_height
the physical screen heigth |
int |
used_screen_width
the actual MainFrame width |
int |
world_x1
the actual MainFrame width |
int |
world_x2
the actual MainFrame width |
int |
world_y1
the actual MainFrame width |
int |
world_y2
the actual MainFrame width |
Constructor Summary | |
DrawControl(Options op)
The constructor just initializes all the class variables, which are public for easier access. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public int screen_width
public int screen_height
public int used_screen_width
public int used_screen_height
public int world_x1
public int world_y1
public int world_x2
public int world_y2
public int act_x1
public int act_y1
public int act_x2
public int act_y2
public boolean displaycoords
public boolean draw_orientationmarkers
public boolean draw_boundary
public boolean number_boundary
public boolean draw_node
public boolean number_node
public boolean draw_edge
public boolean number_edge
public boolean draw_element
public boolean number_element
public boolean cross_element
public boolean fill_element
public boolean draw_grid
public boolean draw_perimeter
public boolean highlight_rect
public java.awt.Color color_node
public java.awt.Color color_edgebase
public java.awt.Color color_edge
public java.awt.Color color_element
public java.awt.Color color_boundarynumber
public java.awt.Color color_nodenumber
public java.awt.Color color_edgenumber
public java.awt.Color color_elementnumber
public java.awt.Color color_selection
public java.awt.Color color_rect
public java.awt.Color color_grid
public java.awt.Color color_background
public java.awt.Color color_lasso
public java.awt.Color[] parallel_palette
public java.awt.Color[] boundary_palette
public java.awt.Font font_numbering
public int tolerance
Constructor Detail |
public DrawControl(Options op)
op
- - the Options instance to read values from
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |