Pour des raisons de sécurité dont chacun appréciera la pertinence, il peut être utile de désactiver le menu "Outils" des sessions HTML5 de Mercator. Cela peut se faire via ce simple customizer Main :
using System;
using System.Collections.Generic;
using System.Text;
using System.Data;
using MercatorApi;
using MercatorUi;
namespace Main
{
public class Customizer : MercatorUi.ICustomizers.IExec
{
public void Main(MercatorUi.ICustomizers.ExecAction Action)
{
if (Action == MercatorUi.ICustomizers.ExecAction.MenuCreated)
{
if (MercatorUi.Globals.VirtualUI != null)
{
string outils = MercatorUi._Divers.Iif_langue(MercatorUi.Globals.Langue, "Extras", "Tools", "Tools", "Outils");
foreach (MercatorUi._BaseClasses.MenuElement me in MercatorUi.Globals.StarterMainForm.Mainmenu.Items)
{
if (me.Text == outils)
{
me.Enabled = false;
break;
}
}
}
}
}
}
}