113.23 Ggi

これは GGI (General Graphics Interface) プロジェクト用の古い (legacy) 出力ドライバです。

書式:

  set terminal ggi [acceleration <integer>] [[mode] {mode}]

X では、ウィンドウマネージャの機能を使ってウィンドウのサイズを変更する ことはできませんが、モードを mode オプションを使って、例えば以下のように変更することができます:

- V1024x768
- V800x600
- V640x480
- V320x200

他のモードについては、ggi (libggi) のドキュメントを参照してください。 キーワード mode は追加してもしなくても結構です。libggi のマニュアル ページで紹介されているように、環境変数でターゲットを選択することをお勧 めします。X 上で DGA を使うなら、例えば以下のようにしてください。
  bash> export GGI_DISPLAY=DGA
  csh>  setenv GGI_DISPLAY DGA

acceleration は、相対的なポインタ動作イベントを発生するターゲット (例えば DGA) でのみ使用され、正の整数で相対的な距離に対する倍率 (積因 子) を表します。デフォルトの acceleration は 7 です。

例:

  set term ggi acc 10
  set term ggi acc 1 mode V1024x768
  set term ggi V1024x768

竹野茂治@新潟工科大学
2022-07-20