diff --git a/src/Edit/Interface/edit_repaint.cpp b/src/Edit/Interface/edit_repaint.cpp index 65f93ceff4..48b82ccbe5 100644 --- a/src/Edit/Interface/edit_repaint.cpp +++ b/src/Edit/Interface/edit_repaint.cpp @@ -265,10 +265,12 @@ edit_interface_rep::draw_keys (renderer ren) { string ns; for (int i=0; ilabel)) {