From 5ac8b8b0eddd549882d88602dc06414f32e6339a Mon Sep 17 00:00:00 2001
From: Yevgen Muntyan <17531749+muntyan@users.noreply.github.com>
Date: Tue, 10 Apr 2007 02:20:25 -0500
Subject: [PATCH] Added encodings list to the preferences dialog

---
 moo.mprj                             |   4 +-
 moo/mooedit/glade/mooeditprefs.glade | 219 ++++++++++++++++++---------
 2 files changed, 152 insertions(+), 71 deletions(-)

diff --git a/moo.mprj b/moo.mprj
index 5559518d..10cea08a 100644
--- a/moo.mprj
+++ b/moo.mprj
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <medit-project version="1.0" type="C" name="moo">
- <active>optimized</active>
+ <active>debug</active>
  <configurations>
   <debug>
    <build_dir>build/debug</build_dir>
@@ -34,7 +34,7 @@
    </configure>
   </optimized>
  </configurations>
- <file_selector_dir>/home/muntyan/projects/moo/moo/moopython/codegen/</file_selector_dir>
+ <file_selector_dir>/home/muntyan/projects/moo/build/</file_selector_dir>
  <run>
   <args>--g-fatal-warnings --new-app --mode=project</args>
   <exe>medit/medit</exe>
diff --git a/moo/mooedit/glade/mooeditprefs.glade b/moo/mooedit/glade/mooeditprefs.glade
index b6820509..b55ed538 100644
--- a/moo/mooedit/glade/mooeditprefs.glade
+++ b/moo/mooedit/glade/mooeditprefs.glade
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
-<!--Generated with glade3 3.0.3 on Sun Feb 18 23:38:52 2007 by muntyan@munt10
+<!--Generated with glade3 3.0.3 on Tue Apr 10 02:07:47 2007 by muntyan@munt10
 	Version: 3.0.0
 	Date: Fri Dec  8 17:47:39 2006
 	User: muntyan
@@ -23,6 +23,7 @@
                 <child>
                   <widget class="GtkFrame" id="frame15">
                     <property name="visible">True</property>
+                    <property name="border_width">3</property>
                     <property name="label_xalign">0</property>
                     <child>
                       <widget class="GtkAlignment" id="alignment25">
@@ -146,6 +147,7 @@
                 <child>
                   <widget class="GtkFrame" id="frame38">
                     <property name="visible">True</property>
+                    <property name="border_width">3</property>
                     <property name="label_xalign">0</property>
                     <child>
                       <widget class="GtkAlignment" id="alignment251">
@@ -265,74 +267,10 @@
                     <property name="position">1</property>
                   </packing>
                 </child>
-                <child>
-                  <widget class="GtkFrame" id="frame251">
-                    <property name="visible">True</property>
-                    <property name="label_xalign">0</property>
-                    <child>
-                      <widget class="GtkAlignment" id="alignment371">
-                        <property name="visible">True</property>
-                        <property name="bottom_padding">3</property>
-                        <property name="left_padding">3</property>
-                        <property name="right_padding">3</property>
-                        <child>
-                          <widget class="GtkVBox" id="vbox191">
-                            <property name="visible">True</property>
-                            <child>
-                              <placeholder/>
-                            </child>
-                            <child>
-                              <widget class="GtkCheckButton" id="checkbutton11">
-                                <property name="can_focus">True</property>
-                                <property name="label" translatable="yes">Make backups</property>
-                                <property name="use_underline">True</property>
-                                <property name="draw_indicator">True</property>
-                                <property name="moo_prefs_key">make_backups</property>
-                              </widget>
-                              <packing>
-                                <property name="expand">False</property>
-                                <property name="fill">False</property>
-                                <property name="position">1</property>
-                              </packing>
-                            </child>
-                            <child>
-                              <widget class="GtkCheckButton" id="checkbutton21">
-                                <property name="visible">True</property>
-                                <property name="can_focus">True</property>
-                                <property name="label" translatable="yes">Remove trailing spaces</property>
-                                <property name="use_underline">True</property>
-                                <property name="draw_indicator">True</property>
-                                <property name="moo_prefs_key">strip</property>
-                              </widget>
-                              <packing>
-                                <property name="expand">False</property>
-                                <property name="fill">False</property>
-                                <property name="position">2</property>
-                              </packing>
-                            </child>
-                          </widget>
-                        </child>
-                      </widget>
-                    </child>
-                    <child>
-                      <widget class="GtkLabel" id="label951">
-                        <property name="visible">True</property>
-                        <property name="label" translatable="yes">Saving</property>
-                      </widget>
-                      <packing>
-                        <property name="type">label_item</property>
-                      </packing>
-                    </child>
-                  </widget>
-                  <packing>
-                    <property name="expand">False</property>
-                    <property name="fill">False</property>
-                    <property name="position">2</property>
-                  </packing>
-                </child>
                 <child>
                   <widget class="GtkFrame" id="frame271">
                     <property name="visible">True</property>
+                    <property name="border_width">3</property>
                     <property name="label_xalign">0</property>
                     <child>
                       <widget class="GtkAlignment" id="alignment391">
@@ -395,9 +333,12 @@
                   <packing>
                     <property name="expand">False</property>
                     <property name="fill">False</property>
-                    <property name="position">3</property>
+                    <property name="position">2</property>
                   </packing>
                 </child>
+                <child>
+                  <placeholder/>
+                </child>
               </widget>
               <packing>
                 <property name="tab_expand">False</property>
@@ -767,12 +708,149 @@
                 <property name="tab_fill">False</property>
               </packing>
             </child>
+            <child>
+              <widget class="GtkVBox" id="vbox5">
+                <property name="visible">True</property>
+                <child>
+                  <widget class="GtkFrame" id="frame3">
+                    <property name="visible">True</property>
+                    <property name="border_width">3</property>
+                    <property name="label_xalign">0</property>
+                    <child>
+                      <widget class="GtkAlignment" id="alignment5">
+                        <property name="visible">True</property>
+                        <property name="bottom_padding">3</property>
+                        <property name="left_padding">3</property>
+                        <property name="right_padding">3</property>
+                        <child>
+                          <widget class="GtkVBox" id="vbox6">
+                            <property name="visible">True</property>
+                            <child>
+                              <widget class="GtkEntry" id="entry1">
+                                <property name="visible">True</property>
+                                <property name="moo_prefs_key">encodings</property>
+                                <property name="tooltip" translatable="yes">Comma-separated list of encodings to try when opening a file. 'LOCALE' means current locale encoding.</property>
+                              </widget>
+                            </child>
+                            <child>
+                              <placeholder/>
+                            </child>
+                            <child>
+                              <placeholder/>
+                            </child>
+                          </widget>
+                        </child>
+                      </widget>
+                    </child>
+                    <child>
+                      <widget class="GtkLabel" id="label11">
+                        <property name="visible">True</property>
+                        <property name="label" translatable="yes">Encodings to autodetect</property>
+                      </widget>
+                      <packing>
+                        <property name="type">label_item</property>
+                      </packing>
+                    </child>
+                  </widget>
+                  <packing>
+                    <property name="expand">False</property>
+                    <property name="fill">False</property>
+                  </packing>
+                </child>
+                <child>
+                  <widget class="GtkFrame" id="frame251">
+                    <property name="visible">True</property>
+                    <property name="border_width">3</property>
+                    <property name="label_xalign">0</property>
+                    <child>
+                      <widget class="GtkAlignment" id="alignment371">
+                        <property name="visible">True</property>
+                        <property name="bottom_padding">3</property>
+                        <property name="left_padding">3</property>
+                        <property name="right_padding">3</property>
+                        <child>
+                          <widget class="GtkVBox" id="vbox191">
+                            <property name="visible">True</property>
+                            <child>
+                              <placeholder/>
+                            </child>
+                            <child>
+                              <widget class="GtkCheckButton" id="checkbutton11">
+                                <property name="can_focus">True</property>
+                                <property name="label" translatable="yes">Make backups</property>
+                                <property name="use_underline">True</property>
+                                <property name="draw_indicator">True</property>
+                                <property name="moo_prefs_key">make_backups</property>
+                              </widget>
+                              <packing>
+                                <property name="expand">False</property>
+                                <property name="fill">False</property>
+                                <property name="position">1</property>
+                              </packing>
+                            </child>
+                            <child>
+                              <widget class="GtkCheckButton" id="checkbutton21">
+                                <property name="visible">True</property>
+                                <property name="can_focus">True</property>
+                                <property name="label" translatable="yes">Remove trailing spaces</property>
+                                <property name="use_underline">True</property>
+                                <property name="draw_indicator">True</property>
+                                <property name="moo_prefs_key">strip</property>
+                              </widget>
+                              <packing>
+                                <property name="expand">False</property>
+                                <property name="fill">False</property>
+                                <property name="position">2</property>
+                              </packing>
+                            </child>
+                          </widget>
+                        </child>
+                      </widget>
+                    </child>
+                    <child>
+                      <widget class="GtkLabel" id="label951">
+                        <property name="visible">True</property>
+                        <property name="label" translatable="yes">Saving</property>
+                      </widget>
+                      <packing>
+                        <property name="type">label_item</property>
+                      </packing>
+                    </child>
+                  </widget>
+                  <packing>
+                    <property name="expand">False</property>
+                    <property name="fill">False</property>
+                    <property name="position">1</property>
+                  </packing>
+                </child>
+                <child>
+                  <placeholder/>
+                </child>
+              </widget>
+              <packing>
+                <property name="position">3</property>
+                <property name="tab_expand">False</property>
+              </packing>
+            </child>
+            <child>
+              <widget class="GtkLabel" id="label10">
+                <property name="visible">True</property>
+                <property name="label" translatable="yes">Loading and saving</property>
+              </widget>
+              <packing>
+                <property name="type">tab</property>
+                <property name="position">3</property>
+                <property name="tab_expand">False</property>
+                <property name="tab_fill">False</property>
+              </packing>
+            </child>
             <child>
               <widget class="GtkVBox" id="vbox2">
                 <property name="visible">True</property>
                 <child>
                   <widget class="GtkFrame" id="frame1">
                     <property name="visible">True</property>
+                    <property name="border_width">3</property>
                     <property name="label_xalign">0</property>
                     <child>
                       <widget class="GtkAlignment" id="alignment3">
@@ -907,6 +985,7 @@
                 <child>
                   <widget class="GtkFrame" id="frame2">
                     <property name="visible">True</property>
+                    <property name="border_width">3</property>
                     <property name="label_xalign">0</property>
                     <child>
                       <widget class="GtkAlignment" id="alignment4">
@@ -925,6 +1004,8 @@
                                 <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
                                 <child>
                                   <widget class="GtkTreeView" id="filter_treeview">
+                                    <property name="width_request">400</property>
+                                    <property name="height_request">200</property>
                                     <property name="visible">True</property>
                                     <property name="reorderable">True</property>
                                     <property name="rules_hint">True</property>
@@ -1028,7 +1109,7 @@
                 </child>
               </widget>
               <packing>
-                <property name="position">3</property>
+                <property name="position">4</property>
                 <property name="tab_expand">False</property>
               </packing>
             </child>
@@ -1039,7 +1120,7 @@
               </widget>
               <packing>
                 <property name="type">tab</property>
-                <property name="position">3</property>
+                <property name="position">4</property>
                 <property name="tab_expand">False</property>
                 <property name="tab_fill">False</property>
               </packing>