mirror of
https://github.com/supleed2/ELEC60015-HLP-CW.git
synced 2024-12-23 05:55:50 +00:00
760 lines
29 KiB
HTML
760 lines
29 KiB
HTML
|
<!DOCTYPE html>
|
||
|
|
<html lang="en">
|
||
|
|
<head>
|
||
|
|
<meta charset="utf-8"/>
|
||
|
|
<title>Msg - issie</title>
|
||
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0"/>
|
||
|
|
<meta name="description" content=""/>
|
||
|
|
<meta name="author" content="tomcl"/>
|
||
|
|
|
||
|
|
<script src="https://code.jquery.com/jquery-1.8.0.js"></script>
|
||
|
|
<script src="https://code.jquery.com/ui/1.8.23/jquery-ui.js"></script>
|
||
|
|
<script src="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/js/bootstrap.min.js"></script>
|
||
|
|
<link href="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/css/bootstrap-combined.min.css" rel="stylesheet"/>
|
||
|
|
|
||
|
|
<link type="text/css" rel="stylesheet" href="https://tomcl.github.io/issie//content/style.css" />
|
||
|
|
<script type="text/javascript" src="https://tomcl.github.io/issie//content/tips.js"></script>
|
||
|
|
<!-- HTML5 shim, for IE6-8 support of HTML5 elements -->
|
||
|
|
<!--[if lt IE 9]>
|
||
|
|
<script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
|
||
|
|
<![endif]-->
|
||
|
|
</head>
|
||
|
|
<body>
|
||
|
|
<div class="container">
|
||
|
|
<div class="masthead">
|
||
|
|
<ul class="nav nav-pills pull-right">
|
||
|
|
<li><a href="http://fsharp.org">fsharp.org</a></li>
|
||
|
|
</ul>
|
||
|
|
<h3 class="muted"><a href="https://tomcl.github.io/issie//index.html">issie</a></h3>
|
||
|
|
</div>
|
||
|
|
<hr />
|
||
|
|
<div class="row">
|
||
|
|
<div class="span9" id="main">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h1>Msg</h1>
|
||
|
|
<p>
|
||
|
|
|
||
|
|
<span>Namespace: global</span><br />
|
||
|
|
<span>Parent Module: <a href="global-diagrammessagetype.html">DiagramMessageType</a></span><br />
|
||
|
|
</p>
|
||
|
|
<div class="xmldoc">
|
||
|
|
</div>
|
||
|
|
<h3>Union Cases</h3>
|
||
|
|
<table class="table table-bordered member-list">
|
||
|
|
<thead>
|
||
|
|
<tr><td>Union Case</td><td>Description</td></tr>
|
||
|
|
</thead>
|
||
|
|
<tbody>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '195', 195)" onmouseover="showTip(event, '195', 195)">
|
||
|
|
AddWaveSimFile(string,WaveSimModel)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="195">
|
||
|
|
<strong>Signature:</strong> string * WaveSimModel<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L118-118" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '196', 196)" onmouseover="showTip(event, '196', 196)">
|
||
|
|
ChangeRightTab(RightTab)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="196">
|
||
|
|
<strong>Signature:</strong> RightTab<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L123-123" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '197', 197)" onmouseover="showTip(event, '197', 197)">
|
||
|
|
CloseDiagramNotification
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="197">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L136-136" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '198', 198)" onmouseover="showTip(event, '198', 198)">
|
||
|
|
CloseFilesNotification
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="198">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L141-141" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '199', 199)" onmouseover="showTip(event, '199', 199)">
|
||
|
|
CloseMemoryEditorNotification
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="199">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L143-143" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '200', 200)" onmouseover="showTip(event, '200', 200)">
|
||
|
|
ClosePopup
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="200">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L130-130" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '201', 201)" onmouseover="showTip(event, '201', 201)">
|
||
|
|
CloseProject
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="201">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L128-128" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '202', 202)" onmouseover="showTip(event, '202', 202)">
|
||
|
|
ClosePropertiesNotification
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="202">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L145-145" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '203', 203)" onmouseover="showTip(event, '203', 203)">
|
||
|
|
CloseSimulationNotification
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="203">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L138-138" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '204', 204)" onmouseover="showTip(event, '204', 204)">
|
||
|
|
CloseWaveSimNotification
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="204">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L139-139" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '205', 205)" onmouseover="showTip(event, '205', 205)">
|
||
|
|
EndSimulation
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="205">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L122-122" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '206', 206)" onmouseover="showTip(event, '206', 206)">
|
||
|
|
IncrementSimulationClockTick
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="206">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L121-121" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '207', 207)" onmouseover="showTip(event, '207', 207)">
|
||
|
|
JSDiagramMsg(JSDiagramMsg)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="207">
|
||
|
|
<strong>Signature:</strong> JSDiagramMsg<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L114-114" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '208', 208)" onmouseover="showTip(event, '208', 208)">
|
||
|
|
KeyboardShortcutMsg(KeyboardShortcutMsg)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="208">
|
||
|
|
<strong>Signature:</strong> KeyboardShortcutMsg<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L115-115" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '209', 209)" onmouseover="showTip(event, '209', 209)">
|
||
|
|
MenuAction(MenuCommand,Msg -> unit)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="209">
|
||
|
|
<strong>Signature:</strong> MenuCommand * Msg -> unit<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L150-150" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '210', 210)" onmouseover="showTip(event, '210', 210)">
|
||
|
|
ReloadSelectedComponent(int)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="210">
|
||
|
|
<strong>Signature:</strong> int<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L147-147" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '211', 211)" onmouseover="showTip(event, '211', 211)">
|
||
|
|
SelectionHasChanged
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="211">
|
||
|
|
<strong>Signature:</strong> <br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L151-151" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '212', 212)" onmouseover="showTip(event, '212', 212)">
|
||
|
|
SetClipboard(CanvasState)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="212">
|
||
|
|
<strong>Signature:</strong> CanvasState<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L125-125" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '213', 213)" onmouseover="showTip(event, '213', 213)">
|
||
|
|
SetCreateComponent(Component)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="213">
|
||
|
|
<strong>Signature:</strong> Component<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L126-126" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '214', 214)" onmouseover="showTip(event, '214', 214)">
|
||
|
|
SetDragMode(DragMode)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="214">
|
||
|
|
<strong>Signature:</strong> DragMode<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L148-148" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '215', 215)" onmouseover="showTip(event, '215', 215)">
|
||
|
|
SetFilesNotification(...)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="215">
|
||
|
|
<strong>Signature:</strong> (Msg -> unit) -> (type)<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L140-140" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '216', 216)" onmouseover="showTip(event, '216', 216)">
|
||
|
|
SetHighlighted(...)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="216">
|
||
|
|
<strong>Signature:</strong> ComponentId list * ConnectionId list<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L124-124" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '217', 217)" onmouseover="showTip(event, '217', 217)">
|
||
|
|
SetMemoryEditorNotification(...)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="217">
|
||
|
|
<strong>Signature:</strong> (Msg -> unit) -> (type)<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L142-142" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '218', 218)" onmouseover="showTip(event, '218', 218)">
|
||
|
|
SetPopupDialogInt(int option)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="218">
|
||
|
|
<strong>Signature:</strong> int option<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L132-132" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '219', 219)" onmouseover="showTip(event, '219', 219)">
|
||
|
|
SetPopupDialogMemorySetup(...)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="219">
|
||
|
|
<strong>Signature:</strong> (int * int) option<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L134-134" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '220', 220)" onmouseover="showTip(event, '220', 220)">
|
||
|
|
SetPopupDialogText(string option)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="220">
|
||
|
|
<strong>Signature:</strong> string option<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L131-131" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '221', 221)" onmouseover="showTip(event, '221', 221)">
|
||
|
|
SetPopupDialogTwoInts(...)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="221">
|
||
|
|
<strong>Signature:</strong> int option * IntMode<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L133-133" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '222', 222)" onmouseover="showTip(event, '222', 222)">
|
||
|
|
SetPopupMemoryEditorData(...)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="222">
|
||
|
|
<strong>Signature:</strong> MemoryEditorData option<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L135-135" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '223', 223)" onmouseover="showTip(event, '223', 223)">
|
||
|
|
SetProject(Project)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="223">
|
||
|
|
<strong>Signature:</strong> Project<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L127-127" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '224', 224)" onmouseover="showTip(event, '224', 224)">
|
||
|
|
SetPropertiesNotification(...)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="224">
|
||
|
|
<strong>Signature:</strong> (Msg -> unit) -> (type)<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L144-144" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '225', 225)" onmouseover="showTip(event, '225', 225)">
|
||
|
|
SetSimulationBase(NumberBase)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="225">
|
||
|
|
<strong>Signature:</strong> NumberBase<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L120-120" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '226', 226)" onmouseover="showTip(event, '226', 226)">
|
||
|
|
SetSimulationGraph(SimulationGraph)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="226">
|
||
|
|
<strong>Signature:</strong> SimulationGraph<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L119-119" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '227', 227)" onmouseover="showTip(event, '227', 227)">
|
||
|
|
SetSimulationNotification(...)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="227">
|
||
|
|
<strong>Signature:</strong> (Msg -> unit) -> (type)<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L137-137" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '228', 228)" onmouseover="showTip(event, '228', 228)">
|
||
|
|
SetTopMenu(TopMenu)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="228">
|
||
|
|
<strong>Signature:</strong> TopMenu<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L146-146" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '229', 229)" onmouseover="showTip(event, '229', 229)">
|
||
|
|
SetViewerWidth(int)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="229">
|
||
|
|
<strong>Signature:</strong> int<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L149-149" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '230', 230)" onmouseover="showTip(event, '230', 230)">
|
||
|
|
ShowPopup(PopupDialogData -> (type))
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="230">
|
||
|
|
<strong>Signature:</strong> PopupDialogData -> (type)<br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L129-129" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '231', 231)" onmouseover="showTip(event, '231', 231)">
|
||
|
|
StartSimulation(...)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="231">
|
||
|
|
<strong>Signature:</strong> Result<SimulationData,SimulationError><br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L116-116" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
<tr>
|
||
|
|
<td class="member-name">
|
||
|
|
|
||
|
|
<code onmouseout="hideTip(event, '232', 232)" onmouseover="showTip(event, '232', 232)">
|
||
|
|
StartWaveSim(...)
|
||
|
|
</code>
|
||
|
|
<div class="tip" id="232">
|
||
|
|
<strong>Signature:</strong> Result<WaveSimModel,SimulationError option><br />
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="xmldoc">
|
||
|
|
<a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L117-117" class="github-link">
|
||
|
|
<img src="../content/img/github.png" class="normal" />
|
||
|
|
<img src="../content/img/github-blue.png" class="hover" />
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
</tbody>
|
||
|
|
</table>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
<div class="span3">
|
||
|
|
<ul class="nav nav-list" id="menu" style="margin-top: 20px;">
|
||
|
|
<li class="nav-header">issie</li>
|
||
|
|
<li class="divider"></li>
|
||
|
|
<li><a href="https://github.com/tomcl/ISSIE">Source Code</a></li>
|
||
|
|
<li><a href="https://tomcl.github.io/issie//release-notes.html">Release Notes</a></li>
|
||
|
|
<li><a href="https://tomcl.github.io/issie//contributing.html">Contributing</a></li>
|
||
|
|
|
||
|
|
<li class="nav-header">Documentation</li>
|
||
|
|
<li><a href="https://tomcl.github.io/issie//index.html">Introduction</a></li>
|
||
|
|
<li class="divider"></li>
|
||
|
|
<li><a href="https://tomcl.github.io/issie//community.html">Community</a></li>
|
||
|
|
|
||
|
|
<li class="nav-header">Reference</li>
|
||
|
|
<li><a href="https://tomcl.github.io/issie//reference/index.html">API Reference</a></li>
|
||
|
|
</ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</body>
|
||
|
|
</html>
|