diff options
Diffstat (limited to 'src/gui/ingen_gui.ui')
| -rw-r--r-- | src/gui/ingen_gui.ui | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/ingen_gui.ui b/src/gui/ingen_gui.ui index 66d7cc19..ca2d10e3 100644 --- a/src/gui/ingen_gui.ui +++ b/src/gui/ingen_gui.ui @@ -2170,7 +2170,7 @@ Contributors: </packing> </child> <child> - <object class="GtkHPaned" id="hpaned1"> + <object class="GtkHPaned" id="patch_documentation_paned"> <property name="visible">True</property> <property name="can_focus">True</property> <child> |