public void addHotKey(int key, GridElement ge){
		if(hotKeys[key] != null){
			hotKeys[key].removeHotkey();
			hotKeys[key] = null;
		} else{
			hotKeys[key] = ge;
		}
		Launcher.getFavPanel().getHotKeyPanel().refreshHotKeys();
	}