add UI for new history isolation feature

parent 4d25493e
......@@ -3702,7 +3702,18 @@
</packing>
</child>
<child>
<placeholder/>
<object class="GtkCheckButton" id="history_isolate">
<property name="label" translatable="yes">Isolate History</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
<property name="xalign">0</property>
<property name="draw_indicator">True</property>
</object>
<packing>
<property name="left_attach">2</property>
<property name="top_attach">4</property>
</packing>
</child>
<child>
<placeholder/>
......
......@@ -155,6 +155,7 @@ class BashStyleNG(object):
WidgetHandler.InitWidget("execignore", "Advanced", "exec_ignore", "text", None)
WidgetHandler.InitWidget("globignore", "Advanced", "glob_ignore", "text", None)
WidgetHandler.InitWidget("history_sync", "Advanced", "history_sync", "bool", None)
WidgetHandler.InitWidget("history_isolate", "Advanced", "history_isolate", "bool", None)
WidgetHandler.InitWidget("user_char", "Style", "user_char", "text", None)
WidgetHandler.InitWidget("return_good", "Style", "return_good", "text", None)
WidgetHandler.InitWidget("return_bad", "Style", "return_bad", "text", None)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment