gui_editactions.cpp

changeset 156
d35b7e440585
parent 155
e21c24bfcdf3
child 160
edcb03f3ef75
--- a/gui_editactions.cpp	Fri May 03 23:46:46 2013 +0300
+++ b/gui_editactions.cpp	Sat May 04 01:57:42 2013 +0300
@@ -28,7 +28,7 @@
 
 vector<LDObject*> g_Clipboard;
 
-cfg (bool, edit_insertSchemanticsOnly, false);
+cfg (bool, edit_schemanticinline, false);
 
 // =============================================================================
 // * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

mercurial