「Edit width」の版間の差分

2022年8月2日 (火) 02:45時点における最新版

機能

ボックスの編集(入力)部分、つまり edit_box タイルの実際にボックスで囲まれている部分の幅を文字幅単位で指定する。
有効な値は、整数または実数。edit_width を割り当てないかゼロを指定して、タイルの幅が固定されていない場合、ボックスは利用可能なスペースいっぱいに広がる。
edit_width がゼロ以外の場合、ボックスはそのタイルにより占められているスペース内で右寄せされる。レイアウトのためにタイルを引き伸ばす必要がある場合、PDB 機能によりラベルとボックスの編集部分の間に空白が挿入される。

@@ 1行目: / 1行目: @@
+{{AutoLISP}}
 ; 属性構文
 : edit_width = number;