public override void RefreshGUI(MySQL.Workbench.RefreshType refresh, String str, IntPtr ptr) { }
public virtual void RefreshGUI(MySQL.Workbench.RefreshType refresh, string str, IntPtr ptr) { }