Attachment 258703 Details for Bug 484420 – Git patch - proposed fix

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] Git patch - proposed fix

0001-Correct-marquee-selection-rectangle-s-colors.patch (text/plain), 1.24 KB, created by Daniel Wille

on 2015-12-15 12:57:00 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Daniel Wille

Created: 2015-12-15 12:57:00 EST

Size: 1.24 KB

patch

obsolete

>From 7ef62b2446efbd9d0186f8b874a14edef665495a Mon Sep 17 00:00:00 2001
>From: Daniel Wille <daniel.wille@axiosengineering.com>
>Date: Tue, 15 Dec 2015 12:54:07 -0500
>Subject: [PATCH] Correct marquee selection rectangle's colors
>
>---
> .../eclipse/graphiti/ui/internal/editor/GFMarqueeSelectionTool.java   | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
>
>diff --git a/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GFMarqueeSelectionTool.java b/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GFMarqueeSelectionTool.java
>index fb6764e..1590c66 100644
>--- a/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GFMarqueeSelectionTool.java
>+++ b/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GFMarqueeSelectionTool.java
>@@ -605,8 +605,8 @@ public class GFMarqueeSelectionTool extends AbstractTool {
> 			graphics.translate(getLocation());
> 
> 			graphics.setXORMode(true);
>-			graphics.setForegroundColor(ColorConstants.white);
>-			graphics.setBackgroundColor(ColorConstants.black);
>+			graphics.setForegroundColor(ColorConstants.black);
>+			graphics.setBackgroundColor(ColorConstants.white);
> 
> 			graphics.setLineStyle(Graphics.LINE_DOT);
> 
>-- 
>1.9.0
>

Actions: View | Diff

Attachments on bug 484420: 258703 | 258724 | 258725 | 258802 | 258803