merge from 2.0-ongoing @ 3581
[ardour.git] / gtk2_ardour / public_editor.cc
index 6797119a1f2e0eafa416a8258baf7c8212566aac..399c71caa9e0b256044eacc1f34c0ffcee1b446d 100644 (file)
 
 PublicEditor* PublicEditor::_instance = 0;
 
-/** PublicEditor constructor */
+const int PublicEditor::window_border_width = 12;
+const int PublicEditor::container_border_width = 12;
+const int PublicEditor::vertical_spacing = 6;
+const int PublicEditor::horizontal_spacing = 6;
+
 PublicEditor::PublicEditor ()
        : Window (Gtk::WINDOW_TOPLEVEL)
 {
 }
 
-/** PublicEditor destructor */
 PublicEditor::~PublicEditor()
 {
 }