テキストエディタ

テキストエディタでは、現在のワークスペースの機密ラベルのファイルだけを編集できます。テキストエディタから別の機密ラベルのファイルにデータを移動させる場合は、ワークスペースの機密ラベルを変更し、その機密ラベルでテキストエディタを開いてから、最初のテキストエディタのテキストを 2 番目のテキストエディタにコピー＆ペーストします。