33 #include "ui_replcoords.h" |
33 #include "ui_replcoords.h" |
34 #include "ui_editraw.h" |
34 #include "ui_editraw.h" |
35 #include "ui_flip.h" |
35 #include "ui_flip.h" |
36 #include "ui_addhistoryline.h" |
36 #include "ui_addhistoryline.h" |
37 |
37 |
38 cfg (bool, edit_schemanticinline, false); |
38 cfg (Bool, edit_schemanticinline, false); |
39 |
39 |
40 // ============================================================================= |
40 // ============================================================================= |
41 // ----------------------------------------------------------------------------- |
41 // ----------------------------------------------------------------------------- |
42 static int copyToClipboard() { |
42 static int copyToClipboard() { |
43 List<LDObject*> objs = g_win->sel(); |
43 List<LDObject*> objs = g_win->sel(); |