53 lines
3.6 KiB
HTML
53 lines
3.6 KiB
HTML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="ja" lang="ja">
|
|
<!-- generated by to_html.pl from ExprWatch.xml -->
|
|
<head>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
|
|
<title>監視式</title>
|
|
<meta name="author" content="W.Dee" />
|
|
<meta http-equiv="Content-Style-Type" content="text/css" />
|
|
<meta http-equiv="Content-Script-Type" content="text/javascript" />
|
|
<link href="browser.css" type="text/css" rel="stylesheet" title="吉里吉里関連リファレンス用標準スタイル" />
|
|
<link href="mailto:[email protected]" rev="Made" />
|
|
<link href="index.html" target="_top" rel="Start" title="トップページ" />
|
|
</head>
|
|
<body>
|
|
<h1><a id="id101" name="id101">監視式について</a>
|
|
</h1><div class="para"><div>
|
|
監視式は、実行中に Shift + F3 を押すことにより表示することができます。<br />
|
|
監視式では簡単に多くの式の結果を一度に確認することができます。<br />
|
|
また、一定時間ごとに結果の表示を更新させることもできます。<br />
|
|
ちなみに式の結果は変更があったときに自動的に更新されるわけではありません。手動で表示を更新するか、あるいは一定時間ごとに自動的に更新させる必要があります。イベントハンドラ中での変数の変化を追従して表示することもできません。イベントハンドラを実行中に表示更新の時間が来たとしても、すべてのイベントハンドラから吉里吉里本体に制御が戻ったときに表示が更新されます。<br />
|
|
</div></div>
|
|
<h1><a id="id102" name="id102">画面の説明</a>
|
|
</h1><div class="para"><div>
|
|
<img width="524" height="281" alt="ExprWatch.png" src="ExprWatch.png" /><br />
|
|
<br />
|
|
右クリックメニューの説明です。<br />
|
|
<dl>
|
|
<dt><img width="16" height="16" alt="NewExprIcon.png" src="NewExprIcon.png" /> 新規の式</dt>
|
|
<dd> 監視式を新しく追加します。</dd>
|
|
<dt><img width="16" height="16" alt="DeleteIcon.png" src="DeleteIcon.png" /> 削除</dt>
|
|
<dd> 選択されている監視式を削除します。</dd>
|
|
<dt>式の編集</dt>
|
|
<dd> 選択されている監視式を編集します。</dd>
|
|
<dt><img width="16" height="16" alt="UpdateIcon.png" src="UpdateIcon.png" /> 更新</dt>
|
|
<dd> 結果を更新します。</dd>
|
|
<dt><img width="16" height="16" alt="AutoUpdateIcon.png" src="AutoUpdateIcon.png" /> 自動更新</dt>
|
|
<dd> 結果表示を一定時間ごとに自動的に更新しします。</dd>
|
|
<dt>自動更新の間隔</dt>
|
|
<dd> 自動更新を行う間隔を設定します。</dd>
|
|
<dt><img width="16" height="16" alt="ControllerIcon.png" src="ControllerIcon.png" /> コントローラ</dt>
|
|
<dd> <a target="main" class="jump" href="Controller.html">コントローラ</a> を表示します。</dd>
|
|
<dt><img width="16" height="16" alt="ScriptEditorIcon.png" src="ScriptEditorIcon.png" /> スクリプトエディタ</dt>
|
|
<dd> <a target="main" class="jump" href="ScriptEditor.html">スクリプトエディタ</a> を表示します。</dd>
|
|
<dt><img width="16" height="16" alt="ConsoleIcon.png" src="ConsoleIcon.png" /> コンソール</dt>
|
|
<dd> <a target="main" class="jump" href="Console.html">コンソール</a> を表示します。</dd></dl><br />
|
|
</div></div>
|
|
<script type="text/javascript" charset="UTF-8" src="documentid.js" ></script>
|
|
<script type="text/javascript" charset="UTF-8" src="postcontent.js" ></script>
|
|
</body>
|
|
</html>
|