オブジェクトの描画制御を行うには

オブジェクトの描画更新を行うには

let event_procedure obj =
  (* プロパティの変更 *)
  obj -> setProperty ("labelString", "設定動作");
  (* 更新 *)
  obj -> update();
  ()
let _ = Callback.register "event_procedure" event_procedure

オブジェクトを再描画させるには

• クリア描画(イベント発生あり)
  
  通常の再描画ならば、一度クリアして描画させる redraw() を使います。 redraw() はクリアして、EXPOSE イベントを発生させます。もし、他の オブジェクトで重なっているものがあれば、そのオブジェクトも再描画 されます。redraw() はイベントを発生させる関係上、多量のオブジェク トが存在するアプリケーションウィンドウでは、パフォーマンスが悪い 場合があります。

       obj -> redraw();
  

  
  
  
• 描画(上書き)
  
  EXPOSE イベントを発生させずに強制的に描画(上書き)させる場合は、強 制描画フラグをたてて draw()を使います。draw() は、再描画の必要の ない場合、実行されないので、強制的に描画を行いたい場合は次のよう に行います。

       obj -> setAbsoluteDraw(_True);
       obj -> draw();
  

  
  
  
• 単純描画(上書き)
  
  EXPOSE イベントを発生させずに単に描画させる場合は、"draw"() を使い ます。強制描画フラグが立っていない場合は、EXPOSE イベントが発生し た EXPOSE 領域のみ描画します。"draw"() は、再描画の必要のない場合、 実行されないのでパフォーマンスの向上が図れます。

       obj -> draw();
  

  
  
  
• クリア描画(イベント発生なし)
  
  EXPOSE イベントを発生させずに一度クリアして描画させる場合は、 "clear"() と "draw"() を使います。もし、他のオブジェクトで重なってい るものがあれば、重なっている部分は欠けてしまうので、そのような場 合は、クリア描画(イベント発生あり)を行ってください。

       obj -> clear();
       obj -> setAbsoluteDraw(_True);
       obj -> draw()