### Copyright (C) 1995, 1996, 1997 Jeppe Buk (buk@imada.ou.dk) ### This program is free software; you can redistribute it and/or modify ### it under the terms of the GNU General Public License as published by ### the Free Software Foundation; either version 2 of the License, or ### (at your option) any later version. ### ### This program is distributed in the hope that it will be useful, ### but WITHOUT ANY WARRANTY; without even the implied warranty of ### MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ### GNU General Public License for more details. ### ### You should have received a copy of the GNU General Public License ### along with this program; if not, write to the Free Software ### Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. ### ### Mar. 10 1998 Japanized by Mashio Motoyama ### proc FvwmIconMan {} { # モジュール / FvwmIconMan Desc "FvwmIconMan モジュールの設定" ShortDesc "FvwmIconMan" Header h -text "FvwmIconMan" -frame:relief flat \ -help "このページでは FvwmIconMan モジュールの設定を行います。このモジュールはアイコン化されたウインドウを root ウインドウに配置する替わりに使われます。各ウインドウに対して、それぞれのアイコンマネージャを利用することが可能です。" Line l CheckBox spawn\ -text "起動時から利用する" \ -help "これを選択すると、このモジュールは起動時、つまり"\ "'InitFunction' と 'RestartFunction' からその動作を開始します。" Line globL fvwmIconMan global 0 Window globalW\ -text "一般的な設定"\ -entries global_frame \ -help "FvwmIconMan ウインドウの一般的な設定を行います。" \ -pageEnd { if {$global_GeoW != $global_GeoH && ($global_GeoW == "" || $global_GeoH == "")} { error "FvwmIconMan の一般設定では、幅と高さの両方を設定する必要があります。" } if {$global_GeoX == "-" || $global_GeoY == "-"} { error "FvwmIconMan の一般設定に無効な X または Y が与えられています。" } if {$global_GeoX != $global_GeoY && ($global_GeoX == "" || $global_GeoY == "")} { error "FvwmIconMan の一般設定では、X と Y の両方を設定する必要があります。" } } Line indL fvwmIconMan ind 1 ExtEntry mans\ -text "個々の設定"\ -entries ind_frame \ -count 1 \ -help "各アイコン・マネージャに対して、どのウインドウを表示するか選択して下さい。更に、一般設定の内容の一部、またはその全てをオーバーロードすることもできます。" PageEnd { forevery mans { if {$ind_GeoW != $ind_GeoH && ($ind_GeoW == "" || $ind_GeoH == "")} { error "FvwmIconMan の個々の設定では、幅と高さの両方を指定する必要があります。" } if {$ind_GeoX == "-" || $ind_GeoY == "-"} { error "無効な X または Y の値が FvwmIconMan の個々の設定で与えられています。" } if {$ind_GeoX != $ind_GeoY && ($ind_GeoX == "" || $ind_GeoY == "")} { error "FvwmIconMan の個々の設定では、X と Y の両方の値を与える必要があります。" } } } Save { set numMan 0 forevery mans { incr numMan } if {$numMan > 1} { print "*FvwmIconMan*nummanagers\t$numMan" } fvwmIconManSave global -1 set manNo 0 forevery mans { fvwmIconManSave ind $manNo incr manNo } if {$spawn == 1} { print "AddToFunc InitFunction \"I\" Module FvwmIconMan" print "AddToFunc RestartFunction \"I\" Module FvwmIconMan" } } }