Changeset 101

Show
Ignore:
Timestamp:
Tue Aug 16 13:05:13 2005
Author:
fredrikc
Message:

Updated UI when file closed.
Changed version info to 0.4 beta 4.

Files:

Legend:

Unmodified
Added
Removed
Modified

  • trunk/transolution/xliffeditor/gtk_main.py

    r99 r101  
    19 19 #  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA  
    20 20 #  
    21   __version__ = '0.4 Beta 3'  
      21 __version__ = '0.4 Beta 4'  
    21 21  
    22 22 import sys  
    …… 
    162 162         self.widgets_to_disable_when_tu_open = [g(w) for w in ("tu_nav_toolbar","next_tu_menuitem","previous_tu_menuitem")] #self.tu_closed_toolbar]  
    163 163  
    164           self.widgets_to_disable_if_no_file_open = [g(w) for w in ('tb_close','menu_close','tb_save','menu_save','tb_save_as','menu_save_as','edit_menu','view_menu','tu_menu','tags_menu','document_operations')]  
      164         self.widgets_to_disable_if_no_file_open = [g(w) for w in ('toolbar_file','edit_menu','view_menu','tu_menu','tags_menu','document_operations')]  
    164 164  
    165 165         # setup combobox TU prev/next constraint  

  • trunk/transolution/xliffeditor/glade/xliffeditor.glade

    r99 r101  
    971 971  
    972 972       <child>  
    973           <widget class="GtkToolbar" id="toolbar1">  
      973         <widget class="GtkHBox" id="hbox14">  
    973 973           <property name="visible">True</property>  
    974             <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>  
    975             <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>  
    976             <property name="tooltips">True</property>  
    977             <property name="show_arrow">True</property>  
    978    
    979             <child>  
    980               <widget class="GtkToolButton" id="tb_open">  
    981                 <property name="visible">True</property>  
    982                 <property name="tooltip" translatable="yes">Open file</property>  
    983                 <property name="stock_id">gtk-open</property>  
    984                 <property name="visible_horizontal">True</property>  
    985                 <property name="visible_vertical">True</property>  
    986                 <property name="is_important">False</property>  
    987                 <signal name="clicked" handler="onFileOpen" last_modification_time="Wed, 02 Feb 2005 16:01:39 GMT"/>  
    988               </widget>  
    989               <packing>  
    990                 <property name="expand">False</property>  
    991                 <property name="homogeneous">True</property>  
    992               </packing>  
    993             </child>  
      974           <property name="homogeneous">False</property>  
      975           <property name="spacing">0</property>  
    994 976  
    995 977           <child>  
    996               <widget class="GtkToolButton" id="tb_save">  
      978             <widget class="GtkToolbar" id="toolbar_open">  
    996 978               <property name="visible">True</property>  
    997                 <property name="tooltip" translatable="yes">Save</property>  
    998                 <property name="stock_id">gtk-save</property>  
    999                 <property name="visible_horizontal">True</property>  
    1000                 <property name="visible_vertical">True</property>  
    1001                 <property name="is_important">False</property>  
    1002                 <signal name="clicked" handler="onFileSave" last_modification_time="Wed, 02 Feb 2005 16:14:59 GMT"/>  
    1003               </widget>  
    1004               <packing>  
    1005                 <property name="expand">False</property>  
    1006                 <property name="homogeneous">True</property>  
    1007               </packing>  
    1008             </child>  
      979               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>  
      980               <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>  
      981               <property name="tooltips">True</property>  
      982               <property name="show_arrow">False</property>  
    1009 983  
    1010             <child>  
    1011               <widget class="GtkToolButton" id="tb_save_as">  
    1012                 <property name="visible">True</property>  
    1013                 <property name="tooltip" translatable="yes">Save As</property>  
    1014                 <property name="stock_id">gtk-save-as</property>  
    1015                 <property name="visible_horizontal">True</property>  
    1016                 <property name="visible_vertical">True</property>  
    1017                 <property name="is_important">False</property>  
    1018                 <signal name="clicked" handler="onFileSaveAs" last_modification_time="Wed, 02 Feb 2005 16:04:53 GMT"/>  
      984               <child>  
      985                 <widget class="GtkToolButton" id="tb_open">  
      986                   <property name="visible">True</property>  
      987                   <property name="tooltip" translatable="yes">Open file</property>  
      988                   <property name="stock_id">gtk-open</property>  
      989                   <property name="visible_horizontal">True</property>  
      990                   <property name="visible_vertical">True</property>  
      991                   <property name="is_important">False</property>  
      992                   <signal name="clicked" handler="onFileOpen" last_modification_time="Wed, 02 Feb 2005 16:01:39 GMT"/>  
      993                 </widget>  
      994                 <packing>  
      995                   <property name="expand">False</property>  
      996                   <property name="homogeneous">True</property>  
      997                 </packing>  
      998               </child>  
    1019 999             </widget>  
    1020 1000             <packing>  
      1001               <property name="padding">0</property>  
    1021 1002               <property name="expand">False</property>  
    1022                 <property name="homogeneous">True</property>  
      1003               <property name="fill">True</property>  
    1022 1003             </packing>  
    1023 1004           </child>  
    1024 1005  
    1025 1006           <child>  
    1026               <widget class="GtkToolButton" id="tb_close">  
      1007             <widget class="GtkToolbar" id="toolbar_file">  
    1026 1007               <property name="visible">True</property>  
    1027                 <property name="tooltip" translatable="yes">Close file</property>  
    1028                 <property name="stock_id">gtk-close</property>  
    1029                 <property name="visible_horizontal">True</property>  
    1030                 <property name="visible_vertical">True</property>  
    1031                 <property name="is_important">False</property>  
    1032                 <signal name="clicked" handler="onFileClose" last_modification_time="Sun, 06 Feb 2005 11:35:23 GMT"/>  
    1033               </widget>  
    1034               <packing>  
    1035                 <property name="expand">False</property>  
    1036                 <property name="homogeneous">True</property>  
    1037               </packing>  
    1038             </child>  
      1008               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>  
      1009               <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>  
      1010               <property name="tooltips">True</property>  
      1011               <property name="show_arrow">True</property>  
    1039 1012  
    1040             <child>  
    1041               <widget class="GtkSeparatorToolItem" id="separatortoolitem1">  
    1042                 <property name="visible">True</property>  
    1043                 <property name="draw">True</property>  
    1044                 <property name="visible_horizontal">True</property>  
    1045                 <property name="visible_vertical">True</property>  
    1046               </widget>  
    1047               <packing>  
    1048                 <property name="expand">False</property>  
    1049                 <property name="homogeneous">False</property>  
    1050               </packing>  
    1051             </child>  
      1013               <child>  
      1014                 <widget class="GtkToolButton" id="tb_save">  
      1015                   <property name="visible">True</property>  
      1016                   <property name="tooltip" translatable="yes">Save</property>  
      1017                   <property name="stock_id">gtk-save</property>  
      1018                   <property name="visible_horizontal">True</property>  
      1019                   <property name="visible_vertical">True</property>  
      1020                   <property name="is_important">False</property>  
      1021                   <signal name="clicked" handler="onFileSave" last_modification_time="Wed, 02 Feb 2005 16:14:59 GMT"/>  
      1022                 </widget>  
      1023                 <packing>  
      1024                   <property name="expand">False</property>  
      1025                   <property name="homogeneous">True</property>  
      1026                 </packing>  
      1027               </child>  
    1052 1028  
    1053             <child>  
    1054               <widget class="GtkToolButton" id="toolbutton12">  
    1055                 <property name="visible">True</property>  
    1056                 <property name="tooltip" translatable="yes">Copy</property>  
    1057                 <property name="stock_id">gtk-copy</property>  
    1058                 <property name="visible_horizontal">True</property>  
    1059                 <property name="visible_vertical">True</property>  
    1060                 <property name="is_important">False</property>  
    1061                 <signal name="clicked" handler="onEditCopy" last_modification_time="Tue, 22 Feb 2005 14:15:32 GMT"/>  
    1062               </widget>  
    1063               <packing>  
    1064                 <property name="expand">False</property>  
    1065                 <property name="homogeneous">True</property>  
    1066               </packing>  
    1067             </child>  
      1029               <child>  
      1030                 <widget class="GtkToolButton" id="tb_save_as">  
      1031                   <property name="visible">True</property>  
      1032                   <property name="tooltip" translatable="yes">Save As</property>  
      1033                   <property name="stock_id">gtk-save-as</property>  
      1034                   <property name="visible_horizontal">True</property>  
      1035                   <property name="visible_vertical">True</property>  
      1036                   <property name="is_important">False</property>  
      1037                   <signal name="clicked" handler="onFileSaveAs" last_modification_time="Wed, 02 Feb 2005 16:04:53 GMT"/>  
      1038                 </widget>  
      1039                 <packing>  
      1040                   <property name="expand">False</property>  
      1041                   <property name="homogeneous">True</property>  
      1042                 </packing>  
      1043               </child>  
    1068 1044  
    1069             <child>  
    1070               <widget class="GtkToolButton" id="toolbutton13">  
    1071                 <property name="visible">True</property>  
    1072                 <property name="tooltip" translatable="yes">Cut</property>  
    1073                 <property name="stock_id">gtk-cut</property>  
    1074                 <property name="visible_horizontal">True</property>  
    1075                 <property name="visible_vertical">True</property>  
    1076                 <property name="is_important">False</property>  
    1077                 <signal name="clicked" handler="onEditCut" last_modification_time="Tue, 22 Feb 2005 14:15:51 GMT"/>  
    1078               </widget>  
    1079               <packing>  
    1080                 <property name="expand">False</property>  
    1081                 <property name="homogeneous">True</property>  
    1082               </packing>  
    1083             </child>  
      1045               <child>  
      1046                 <widget class="GtkToolButton" id="tb_close">  
      1047                   <property name="visible">True</property>  
      1048                   <property name="tooltip" translatable="yes">Close file</property>  
      1049                   <property name="stock_id">gtk-close</property>  
      1050                   <property name="visible_horizontal">True</property>  
      1051                   <property name="visible_vertical">True</property>  
      1052                   <property name="is_important">False</property>  
      1053                   <signal name="clicked" handler="onFileClose" last_modification_time="Sun, 06 Feb 2005 11:35:23 GMT"/>  
      1054                 </widget>  
      1055                 <packing>  
      1056                   <property name="expand">False</property>  
      1057                   <property name="homogeneous">True</property>  
      1058                 </packing>  
      1059               </child>  
    1084 1060  
    1085             <child>  
    1086               <widget class="GtkToolButton" id="toolbutton14">  
    1087                 <property name="visible">True</property>  
    1088                 <property name="tooltip" translatable="yes">Paste</property>  
    1089                 <property name="stock_id">gtk-paste</property>  
    1090                 <property name="visible_horizontal">True</property>  
    1091                 <property name="visible_vertical">True</property>  
    1092                 <property name="is_important">False</property>  
    1093                 <signal name="clicked" handler="onEditPaste" last_modification_time="Tue, 22 Feb 2005 14:16:06 GMT"/>  
    1094               </widget>  
    1095               <packing>  
    1096                 <property name="expand">False</property>  
    1097                 <property name="homogeneous">True</property>  
    1098               </packing>  
    1099             </child>  
      1061               <child>  
      1062                 <widget class="GtkSeparatorToolItem" id="separatortoolitem1">  
      1063                   <property name="visible">True</property>  
      1064                   <property name="draw">True</property>  
      1065                   <property name="visible_horizontal">True</property>  
      1066                   <property name="visible_vertical">True</property>  
      1067                 </widget>  
      1068                 <packing>  
      1069                   <property name="expand">False</property>  
      1070                   <property name="homogeneous">False</property>  
      1071                 </packing>  
      1072               </child>  
    1100 1073  
    1101             <child>  
    1102               <widget class="GtkToolButton" id="toolbutton11">  
    1103                 <property name="visible">True</property>  
    1104                 <property name="tooltip" translatable="yes">Undo</property>  
    1105                 <property name="label" translatable="yes"></property>  
    1106                 <property name="use_underline">True</property>  
    1107                 <property name="stock_id">gtk-undo</property>  
    1108                 <property name="visible_horizontal">True</property>  
    1109                 <property name="visible_vertical">True</property>  
    1110                 <property name="is_important">False</property>  
    1111                 <signal name="clicked" handler="onEditUndo" last_modification_time="Sun, 06 Feb 2005 11:21:34 GMT"/>  
    1112               </widget>  
    1113               <packing>  
    1114                 <property name="expand">False</property>  
    1115                 <property name="homogeneous">True</property>  
    1116               </packing>  
    1117             </child>  
      1074               <child>  
      1075                 <widget class="GtkToolButton" id="tb_copy">  
      1076                   <property name="visible">True</property>  
      1077                   <property name="tooltip" translatable="yes">Copy</property>  
      1078                   <property name="stock_id">gtk-copy</property>  
      1079                   <property name="visible_horizontal">True</property>  
      1080                   <property name="visible_vertical">True</property>  
      1081                   <property name="is_important">False</property>  
      1082                   <signal name="clicked" handler="onEditCopy" last_modification_time="Tue, 22 Feb 2005 14:15:32 GMT"/>  
      1083                 </widget>  
      1084                 <packing>  
      1085                   <property name="expand">False</property>  
      1086                   <property name="homogeneous">True</property>  
      1087                 </packing>  
      1088               </child>  
    1118 1089  
    1119             <child>  
    1120               <widget class="GtkToolButton" id="toolbutton10">  
    1121                 <property name="visible">True</property>  
    1122                 <property name="tooltip" translatable="yes">Redo</property>  
    1123                 <property name="label" translatable="yes"></property>  
    1124                 <property name="use_underline">True</property>  
    1125                 <property name="stock_id">gtk-redo</property>  
    1126                 <property name="visible_horizontal">True</property>  
    1127                 <property name="visible_vertical">True</property>  
    1128                 <property name="is_important">False</property>  
    1129                 <signal name="clicked" handler="onEditRedo" last_modification_time="Sun, 06 Feb 2005 11:19:43 GMT"/>  
    1130               </widget>  
    1131               <packing>  
    1132                 <property name="expand">False</property>  
    1133                 <property name="homogeneous">True</property>  
    1134               </packing>  
    1135             </child>  
      1090               <child>  
      1091                 <widget class="GtkToolButton" id="tb_cut">  
      1092                   <property name="visible">True</property>  
      1093                   <property name="tooltip" translatable="yes">Cut</property>  
      1094                   <property name="stock_id">gtk-cut</property>  
      1095                   <property name="visible_horizontal">True</property>  
      1096                   <property name="visible_vertical">True</property>  
      1097                   <property name="is_important">False</property>  
      1098                   <signal name="clicked" handler="onEditCut" last_modification_time="Tue, 22 Feb 2005 14:15:51 GMT"/>  
      1099                 </widget>  
      1100                 <packing>  
      1101                   <property name="expand">False</property>  
      1102                   <property name="homogeneous">True</property>  
      1103                 </packing>  
      1104               </child>  
    1136 1105  
    1137             <child>  
    1138               <widget class="GtkSeparatorToolItem" id="separatortoolitem2">  
    1139                 <property name="visible">True</property>  
    1140                 <property name="draw">True</property>  
    1141                 <property name="visible_horizontal">True</property>  
    1142                 <property name="visible_vertical">True</property>  
    1143               </widget>  
    1144               <packing>  
    1145                 <property name="expand">False</property>  
    1146                 <property name="homogeneous">False</property>  
    1147               </packing>  
    1148             </child>  
      1106               <child>  
      1107                 <widget class="GtkToolButton" id="tb_paste">  
      1108                   <property name="visible">True</property>  
      1109                   <property name="tooltip" translatable="yes">Paste</property>  
      1110                   <property name="stock_id">gtk-paste</property>  
      1111                   <property name="visible_horizontal">True</property>  
      1112                   <property name="visible_vertical">True</property>  
      1113                   <property name="is_important">False</property>  
      1114                   <signal name="clicked" handler="onEditPaste" last_modification_time="Tue, 22 Feb 2005 14:16:06 GMT"/>  
      1115                 </widget>  
      1116                 <packing>  
      1117                   <property name="expand">False</property>  
      1118                   <property name="homogeneous">True</property>  
      1119                 </packing>  
      1120               </child>  
    1149 1121  
    1150             <child>  
    1151               <widget class="GtkToolButton" id="tb_find">  
    1152                 <property name="visible">True</property>  
    1153                 <property name="tooltip" translatable="yes">Open search dialog</property>  
    1154                 <property name="stock_id">gtk-find</property>  
    1155                 <property name="visible_horizontal">True</property>  
    1156                 <property name="visible_vertical">True</property>  
    1157                 <property name="is_important">False</property>  
    1158                 <signal name="clicked" handler="onOpenSearchDialog" last_modification_time="Sat, 05 Feb 2005 18:18:55 GMT"/>  
    1159               </widget>  
    1160               <packing>  
    1161                 <property name="expand">False</property>  
    1162                 <property name="homogeneous">True</property>  
    1163               </packing>  
    1164             </child>  
      1122               <child>  
      1123                 <widget class="GtkToolButton" id="tb_undo">  
      1124                   <property name="visible">True</property>  
      1125                   <property name="tooltip" translatable="yes">Undo</property>  
      1126                   <property name="label" translatable="yes"></property>  
      1127                   <property name="use_underline">True</property>  
      1128                   <property name="stock_id">gtk-undo</property>  
      1129                   <property name="visible_horizontal">True</property>  
      1130                   <property name="visible_vertical">True</property>  
      1131                   <property name="is_important">False</property>  
      1132                   <signal name="clicked" handler="onEditUndo" last_modification_time="Sun, 06 Feb 2005 11:21:34 GMT"/>  
      1133                 </widget>  
      1134                 <packing>  
      1135                   <property name="expand">False</property>  
      1136                   <property name="homogeneous">True</property>  
      1137                 </packing>  
      1138               </child>  
    1165 1139  
    1166             <child>  
    1167               <widget class="GtkToolButton" id="toolbutton7">  
    1168                 <property name="visible">True</property>  
    1169                 <property name="tooltip" translatable="yes">Open replace dialog</property>  
    1170                 <property name="stock_id">gtk-find-and-replace</property>  
    1171                 <property name="visible_horizontal">True</property>  
    1172                 <property name="visible_vertical">True</property>  
    1173                 <property name="is_important">False</property>  
    1174                 <signal name="clicked" handler="onOpenReplaceDialog" last_modification_time="Sun, 06 Feb 2005 12:12:45 GMT"/>  
      1140               <child>  
      1141                 <widget class="GtkToolButton" id="tb_redo">  
      1142                   <property name="visible">True</property>  
      1143                   <property name="tooltip" translatable="yes">Redo</property>  
      1144                   <property name="label" translatable="yes"></property>  
      1145                   <property name="use_underline">True</property>  
      1146                   <property name="stock_id">gtk-redo</property>  
      1147                   <property name="visible_horizontal">True</property>  
      1148                   <property name="visible_vertical">True</property>  
      1149                   <property name="is_important">False</property>  
      1150                   <signal name="clicked" handler="onEditRedo" last_modification_time="Sun, 06 Feb 2005 11:19:43 GMT"/>  
      1151                 </widget>  
      1152                 <packing>  
      1153                   <property name="expand">False</property>  
      1154                   <property name="homogeneous">True</property>  
      1155                 </packing>  
      1156               </child>  
      1157  
      1158               <child>  
      1159                 <widget class="GtkSeparatorToolItem" id="separatortoolitem2">  
      1160                   <property name="visible">True</property>  
      1161                   <property name="draw">True</property>  
      1162                   <property name="visible_horizontal">True</property>  
      1163                   <property name="visible_vertical">True</property>  
      1164                 </widget>  
      1165                 <packing>  
      1166                   <property name="expand">False</property>  
      1167                   <property name="homogeneous">False</property>  
      1168                 </packing>  
      1169               </child>  
      1170  
      1171               <child>  
      1172                 <widget class="GtkToolButton" id="tb_find">  
      1173                   <property name="visible">True</property>  
      1174                   <property name="tooltip" translatable="yes">Open search dialog</property>  
      1175                   <property name="stock_id">gtk-find</property>  
      1176                   <property name="visible_horizontal">True</property>  
      1177                   <property name="visible_vertical">True</property>  
      1178                   <property name="is_important">False</property>  
      1179                   <signal name="clicked" handler="onOpenSearchDialog" last_modification_time="Sat, 05 Feb 2005 18:18:55 GMT"/>  
      1180                 </widget>  
      1181                 <packing>  
      1182                   <property name="expand">False</property>  
      1183                   <property name="homogeneous">True</property>  
      1184                 </packing>  
      1185               </child>  
      1186  
      1187               <child>  
      1188                 <widget class="GtkToolButton" id="tb_replace">  
      1189                   <property name="visible">True</property>  
      1190                   <property name="tooltip" translatable="yes">Open replace dialog</property>  
      1191                   <property name="stock_id">gtk-find-and-replace</property>  
      1192                   <property name="visible_horizontal">True</property>  
      1193                   <property name="visible_vertical">True</property>  
      1194                   <property name="is_important">False</property>  
      1195                   <signal name="clicked" handler="onOpenReplaceDialog" last_modification_time="Sun, 06 Feb 2005 12:12:45 GMT"/>  
      1196                 </widget>  
      1197                 <packing>  
      1198                   <property name="expand">False</property>  
      1199                   <property name="homogeneous">True</property>  
      1200                 </packing>  
      1201               </child>  
    1175 1202             </widget>  
    1176 1203             <packing>  
    1177                 <property name="expand">False</property>  
    1178                 <property name="homogeneous">True</property>  
      1204               <property name="padding">0</property>  
      1205               <property name="expand">True</property>  
      1206               <property name="fill">True</property>  
    1179 1207             </packing>  
    1180 1208           </child>  
    …… 
    2945 2973               <property name="can_default">True</property>  
    2946 2974               <property name="can_focus">True</property>  
    2947                 <property name="label" translatable="yes">Cancel</property>  
    2948                 <property name="use_underline">True</property>  
      2975               <property name="label">gtk-close</property>  
      2976               <property name="use_stock">True</property>  
    2949 2977               <property name="relief">GTK_RELIEF_NORMAL</property>  
    2950 2978               <property name="focus_on_click">True</property>  

  • trunk/xliffeditor.py

    r93 r101  
    19 19 #  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA  
    20 20 #  
    21    
    22   GC_DEBUG = 0  
      21  
      22 GC_DEBUG = 0  
    23 23 import transolution.xliffeditor.gtk_main as gtk_main  
    24    
    25   if GC_DEBUG:  
    26       import sys  
    27       sys.stderr = sys.stdout  
    28       import gc  
    29       gc.enable()  
    30       gc.set_debug(gc.DEBUG_LEAK)  
    31       gtk_main.main()  
    32       print gc.garbage  
    33   else:  
      24  
      25 if GC_DEBUG:  
      26     import sys  
      27     sys.stderr = sys.stdout  
      28     import gc  
      29     gc.enable()  
      30     gc.set_debug(gc.DEBUG_LEAK)  
      31     gtk_main.main()  
      32     print gc.garbage  
      33 else:  
    34 34     gtk_main.main()