add options option for layout and make it switch to editor in single mode. Done!

2010-10-04 18:13:13 -07:00
parent 60fea52af1
commit 7853327bc7
11 changed files with 269 additions and 10 deletions
--- a/rtgui/rtwindow.cc
+++ b/rtgui/rtwindow.cc
@@ -298,6 +298,11 @@ void RTWindow::error (Glib::ustring descr){
 	prLabel.set_text ( descr );
 }

+void RTWindow::SetEditorCurrent()
+{
+  mainNB->set_current_page (mainNB->page_num (*epanel));
+}
+
 bool RTWindow::on_expose_event_epanel(GdkEventExpose* event)
 {