/* * Copyright 2005 Pi4 Technologies Ltd * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. * * * Change History: * Jul 7, 2005 : Initial version created by gary */ package org.savara.tools.scenario.designer.policies; import org.eclipse.swt.graphics.Color; import org.eclipse.draw2d.IFigure; import org.eclipse.gef.EditPart; import org.eclipse.gef.GraphicalEditPart; import org.eclipse.gef.Request; import org.eclipse.gef.RequestConstants; import org.eclipse.gef.editpolicies.GraphicalEditPolicy; /** * This class implements the highlight edit policy. */ public class ScenarioContainerHighlightEditPolicy extends GraphicalEditPolicy { /** * @see org.eclipse.gef.EditPolicy#eraseTargetFeedback(org.eclipse.gef.Request) */ public void eraseTargetFeedback(Request request) { if (revertColor != null) { setContainerBackground(revertColor); revertColor = null; } } private Color getContainerBackground() { return getContainerFigure().getBackgroundColor(); } private IFigure getContainerFigure() { return ((GraphicalEditPart)getHost()).getFigure(); } /** * @see org.eclipse.gef.EditPolicy#getTargetEditPart(org.eclipse.gef.Request) */ public EditPart getTargetEditPart(Request request) { return request.getType().equals(RequestConstants.REQ_SELECTION_HOVER) ? getHost() : null; } private void setContainerBackground(Color c) { getContainerFigure().setBackgroundColor(c); } /** * Changes the background color of the container to the highlight color */ protected void showHighlight() { if (revertColor == null) { revertColor = getContainerBackground(); setContainerBackground(highLightColor); } } /** * @see org.eclipse.gef.EditPolicy#showTargetFeedback(org.eclipse.gef.Request) */ public void showTargetFeedback(Request request) { if (request.getType().equals(RequestConstants.REQ_CREATE) || request.getType().equals(RequestConstants.REQ_ADD)) showHighlight(); } private Color revertColor; private static Color highLightColor = new Color(null, 200, 200, 240); }