Nothing ever puts anything in the processor-area widget, but it forces the data window to be 35 character widths wider, so by removing it we can allow the window to be resized much narrower when the status bar is shown.
Reported by Bastián Díaz <[email protected]>. --- John, do you think it is reasonable to check this in? Thanks, Ben. src/ui/gui/data-editor.ui | 25 ------------------------- 1 file changed, 25 deletions(-) diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui index 2f0dd03..955febe 100644 --- a/src/ui/gui/data-editor.ui +++ b/src/ui/gui/data-editor.ui @@ -630,31 +630,6 @@ </packing> </child> <child> - <object class="GtkFrame" id="frame3"> - <property name="visible">True</property> - <property name="label_xalign">0</property> - <property name="shadow_type">in</property> - <child> - <object class="GtkEventBox" id="eventbox2"> - <property name="visible">True</property> - <property name="tooltip-text" translatable="yes">Processor Area</property> - <child> - <object class="GtkLabel" id="processor-area"> - <property name="visible">True</property> - <property name="width_chars">35</property> - <property name="single_line_mode">True</property> - </object> - </child> - </object> - </child> - </object> - <packing> - <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">1</property> - </packing> - </child> - <child> <object class="GtkFrame" id="frame5"> <property name="visible">True</property> <property name="label_xalign">0</property> -- 1.7.10.4 _______________________________________________ pspp-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/pspp-dev
