replace unicode dash with (monospace) minus.

[ardour.git] / gtk2_ardour / public_editor.cc

diff --git a/gtk2_ardour/public_editor.cc b/gtk2_ardour/public_editor.cc
index d4cfa1fb1f4cfe5055c2843f2a8ad9a4614753a6..dc468e4a83e237f05c7837a7d3b0d3224a7113e9 100644 (file)
--- a/gtk2_ardour/public_editor.cc
+++ b/gtk2_ardour/public_editor.cc
@@ -1,5 +1,5 @@
 /*
-    Copyright (C) 2000-2007 Paul Davis 
+    Copyright (C) 2000-2007 Paul Davis
 
     This program is free software; you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
@@ -18,10 +18,16 @@
 */
 
 #include "public_editor.h"
-#include "editor.h"
 
 PublicEditor* PublicEditor::_instance = 0;
 
+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;
+
+sigc::signal<void> PublicEditor::DropDownKeys;
+
 PublicEditor::PublicEditor ()
        : Window (Gtk::WINDOW_TOPLEVEL)
 {