private void CreateToolToolBar(WindowShell shell)
{
var tool_toolbar = window_shell.CreateToolToolBar(delegate(object o, EventArgs e) {
Logger.Log("\"Commands\" button pressed");
if (!cmd_map.Visible)
{
cmd_map.On(false);
}
else
{
cmd_map.Off(true);
}
});
tool_toolbar.ToolbarStyle = ToolbarStyle.Icons;
tool_toolbar.IconSize = IconSize.SmallToolbar;
if (PintaCore.System.OperatingSystem == OS.Windows)
{
tool_toolbar.HeightRequest = 28;
}
else
{
tool_toolbar.HeightRequest = 32;
}
PintaCore.Chrome.InitializeToolToolBar(tool_toolbar);
}
