:set_file_encoding): Work around the GTK+ bug with right-aligned labels by

* src/statusline.cc (Status::set_file_encoding): Work around the
GTK+ bug with right-aligned labels by calling check_resize(), just
as already done in CounterBox::set_index().  Note that the status
bar is right-aligned only in RTL locales.

ChangeLog

+2004-05-31  Daniel Elstner  <daniel.elstner@gmx.net>
+
+	* src/statusline.cc (Status::set_file_encoding): Work around the
+	GTK+ bug with right-aligned labels by calling check_resize(), just
+	as already done in CounterBox::set_index().  Note that the status
+	bar is right-aligned only in RTL locales.
+
 2004-05-31  Daniel Elstner  <daniel.elstner@gmx.net>
 
 	* src/aboutdialog.cc (AboutDialog::create): If no translation is

src/statusline.cc

@@ -325,6 +325,11 @@ void StatusLine::set_file_encoding(const std::string& file_encoding)
   g_return_if_fail(encoding.is_ascii());
 
   statusbar_->push(encoding);
+
+  // Work around a bug in GTK+ that causes right-aligned labels (note that
+  // the status bar text is right-aligned in RTL locales) to be cut off at
+  // the end.  Forcing resize seems to solve the problem.
+  statusbar_->check_resize();
 }
 
 void StatusLine::pulse_start()