Function flash

src/js/method-draw.js:749–756

($menu)

    };
    
    var flash = function($menu){
      var menu_title = $menu.prev();
      menu_title.css({
        "background": "white",
        "color": "black"
      });
      setTimeout(function(){menu_title.removeAttr("style")}, 200);
    }
    
    var clickUndo = function(){
      if (undoMgr.getUndoStackSize() > 0) {