WaveSimStyle Module
Functions to style the DOM elements used in waveform simulator
Types
| Type | Description |
Functions and values
| Function or value | Description |
Full Usage:
backgroundSVG wsModel count
Parameters:
WaveSimModel
count : int
Returns: ReactElement list
|
|
|
|
|
|
Full Usage:
calcWaveformAndScrollBarHeight wsModel
Parameters:
WaveSimModel
Returns: float
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Props for clock cycle text Input field No AutoFocus. React focuses an autofocused element every time it mounts, so this box took the keyboard whenever the viewer's control row was rebuilt - on Start, and after a cursor move or a zoom. The keyboard then belonged to a text field, and the Left and Right arrows that step the cursor stopped working until something else was clicked. You click into a box to type in it; SelectedComponentView's name box says the same thing for the same reason.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
cursorCycleHighlightSVG m dispatch
Parameters:
WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement
|
|
Full Usage:
detailsProps showDetails cBox ws dispatch
Parameters:
bool
cBox : CheckBoxStyle
ws : WaveSimModel
dispatch : Msg -> Unit
Returns: IHTMLProp list
|
|
|
|
|
|
|
|
|
|
Full Usage:
nameRowLevelLeftProps visibility
Parameters:
string
Returns: IHTMLProp list
|
|
|
|
Full Usage:
namesColBackground fill line
Parameters:
string
line : (int * string * bool) option
Returns: CSSProp list
|
Background for the names column, or for one row of it. The strip at the left, where the view button sits, is painted as pane rather than as column, so that the button reads as standing outside the line the labels start on - which is what it is. The delete cross is inside that line, because it belongs to the label. Any line along the row starts at that same place rather than running out into the strip. It is painted as a second background layer, since a border cannot be inset. The line is given as thickness, colour, and whether it goes along the top of the element rather than the bottom.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
screenHeight ()
Parameters:
unit
Returns: float
|
|
Full Usage:
screenWidth ()
Parameters:
unit
Returns: float
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
separatorColour
Returns: string
|
|
Full Usage:
setSelectionOpen cBox show wsModel
Parameters:
CheckBoxStyle
show : bool
wsModel : WaveSimModel
Returns: WaveSimModel
|
|
Full Usage:
setWaveGroupSelectionOpen wsModel grps show
Parameters:
WaveSimModel
grps : (ComponentGroup * string list) list
show : bool
Returns: WaveSimModel
|
|
Full Usage:
setWaveSheetSelectionOpen wsModel subSheets show
Parameters:
WaveSimModel
subSheets : string list list
show : bool
Returns: WaveSimModel
|
Open or close nodes of the wave selector's hierarchy, each named by its path of design-time sheet names. Opening one closes any other node of the same sheet. A sheet that several routes reach appears in several places, and showing more than one of them at once is the multiplying that collapsing the hierarchy is there to prevent. Where only one route reaches a sheet this is vacuous - there is only one such node - so the rule needs no test for which kind of sheet it is.
|
|
|
|
|
|
|
Full Usage:
singleValueOnWaveProps isStart textFont textWeight xpos
Parameters:
bool
textFont : float
textWeight : 'a
xpos : 'b
-
Starting X-direction position.
Returns: IProp list
|
|
|
|
Full Usage:
summaryProps isSummary cBox ws dispatch
Parameters:
bool
cBox : CheckBoxStyle
ws : WaveSimModel
dispatch : Msg -> Unit
Returns: IHTMLProp list
|
|
|
|
|
|
|
|
|
|
Full Usage:
topRow ws background topRowContent
Parameters:
WaveSimModel
background : CSSProp list
topRowContent : ReactElement seq
Returns: ReactElement list
|
Empty row used in namesColumn and valuesColumn. Shifts these down by one to allow for the row of clk cycle numbers in waveformsColumn. The background carries the line under the row: the names column insets that line past the view button strip, the values column has no strip and draws it as a plain border.
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
valuesColumnStyle ws colWidth
Parameters:
WaveSimModel
colWidth : int
Returns: HTMLAttr
|
|
Full Usage:
viewBoxMinX m
Parameters:
'a
Returns: string
|
|
|
|
|
Style of the button which shows a waveform's component on the schematic. It sits in a slot of its own at the outer edge of the name row, beyond the delete icon, so that it reads as an extra beside the label rather than as one of the label's own controls. Green when the component cannot be seen and grey when it is already in front of the user; shown only while the row is hovered.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|