public void OnSceneGUI()
{
if (HullPainterWindow.IsOpen())
{
HullPainterWindow window = HullPainterWindow.instance;
window.OnSceneGUI();
if (Event.current.commandName == "UndoRedoPerformed")
{
window.Repaint();
}
}
}
// NB: If Gizmos are disabled then OnSceneGUI is not called
// From 2019.1 onward the HullPainterWindow uses OnBeforeSceneGUI so this might be redundant
// (but still needed for 2018 etc.)
public void OnSceneGUI()
{
if (HullPainterWindow.IsOpen())
{
HullPainterWindow window = HullPainterWindow.instance;
#if !UNITY_2019_1_OR_NEWER
window.OnSceneGUI();
#endif
if (Event.current.commandName == "UndoRedoPerformed")
{
window.Repaint();
}
}
}