「ノートブック履歴」ダイアログ
このダイアログには,入力ノートブックの編集時間に関する情報が表示され,ノートブックに変更が加えられるたびに動的にアップデートされる.このダイアログはからアクセスできる.
時間の情報は,数のリストおよび/または数のペアという形式でノートブックの各セルに保存されている.
Cell[
BoxData["123"], "Input",
CellChangeTimes->{{3363263352.09502, 3363263354.03695}, 3363263406.22268, 3363263441.939}
]
各数値は編集の厳密な時間を絶対時間単位で表している.ペアのリストは,その区間内における複数回の編集を示している.
設定してある時間内に行われた連続した編集は,区間として記録される.この時間は
CellChangeTimeMergeIntervalで指定され,オプションインスペクタあるいは
環境設定ダイアログの
詳細で設定することができる.デフォルトは30秒である.
ノートブック履歴の追跡機能は,
環境設定ダイアログを使うか,
TrackCellChangeTimesを
Falseに設定することにより,グローバルレベルでオフにすることができる.
コントロール
ノートブック選択ポップアップメニュー
このポップアップメニューで,現在開いているすべてのノートブックから選ぶことができる.選ばれたノートブックは前面に表示され,新規の入力ノートブックになる.
「ノートブック履歴の追跡」チェックボックス
このチェックボックスで,入力ノートブックのノートブック履歴追跡機能をオン・オフにできる.
「全セルの」/「選択したセルの」ボタン
これらのボタンでは,入力ノートブックの中の選択したセルだけに関連した情報をグラフィックス表示させるか,すべてのセルの情報を表示させるかを選択することができる.
「履歴をクリアする」ボタン
このボタンをクリックすると,現在表示されているセルすべての保存されている編集時間が除去される.この操作は取り消すことはできない.
「コピー」ボタン
生データをコピーするというボタンは,生のデータ(数および/または数のペアのリストの形式)をクリップボードにコピーする.
画像をコピーするというボタンは,現在表示されているグラフィックスをクリップボードにコピーする.ツールチップ以外の動的機能はすべてコピーされた画像からは削除されている.これにはズーム機能がある.
グラフィックス
グラフィックス表示では,セル対時間がプロットされる.ノートブックの各セルは
軸の各行に対応する.対応する編集時間は点としてプロットされ,編集区間は線で表される.
マウスイベント
マウスをグラフィックス上で動かすと,ツールチップで次のような項目についての詳細が見られる.
- 軸上の各行は対応するセルの内容を表示する.
- 点は編集の正確な時間を表示する(編集時のコンピュータ時間に対応).
ズーム
グラフィックス表示には,時間軸に対するいくつかのズーム機能がある.
- 下部の青い三角形は,プロットされた時間を変更するためにドラッグすることができる.中央のひし形を使うと,同じ時間帯を使ったグラフィックスがパンできる.
- 時間ラベルの箱をクリックすると,その時間帯へとズームされる.この機能により,最後の秒にまでズームすることができる(上のズーム機能では範囲外のものでも可).
- グレーになった部分をクリックすると,最後のズーム操作がキャンセルされる.グレーの部分以外をクリックすると,全体の時間帯を表示する,もとの形式に戻る.
概要テキスト
概要テキストは必要なセルの情報を全体的に簡潔にまとめて表示するものである.この表示も,選択範囲のみのチェックボックスの設定の影響を受ける.