Merge lp:~tapaal-contributor/tapaal/highlight-names-on-select-1786755 into lp:tapaal

[Peter Haahr Taankvist]

Names of transitions and places are now painted when the object is selected.

[Jiri Srba (srba)]

Deselecting does not work. To reproduce open Intro Example and start clicking on places and transitions and the names stay selected (blue) for over even when the actual place/transition
is not selected any more.

review: Needs Fixing

[lp:~tapaal-contributor/tapaal/highlight-names-on-select-1786755]

976. By Peter Taankvist <email address hidden> on 2018-08-14

Paint PNnames on select and undo paint on unselect

[Peter Haahr Taankvist (ptaank)]

Added the line the right place. So now the text turns black when deselecting the object.

review: Needs Resubmitting

[Jiri Srba (srba)]

review: Approve

=== modified file 'src/pipe/gui/graphicElements/Place.java'
--- src/pipe/gui/graphicElements/Place.java	2018-05-13 14:57:15 +0000
+++ src/pipe/gui/graphicElements/Place.java	2018-08-14 07:53:04 +0000
@@ -108,8 +108,10 @@
 
 		if (selected && !ignoreSelection) {
 			g2.setColor(Pipe.SELECTION_FILL_COLOUR);
+			pnName.setForeground(Pipe.SELECTION_LINE_COLOUR);
 		} else {
 			g2.setColor(Pipe.ELEMENT_FILL_COLOUR);
+			pnName.setForeground(Pipe.ELEMENT_LINE_COLOUR);
 		}
 		g2.fill(placeEllipse);
 

=== modified file 'src/pipe/gui/graphicElements/Transition.java'
--- src/pipe/gui/graphicElements/Transition.java	2018-05-13 14:57:15 +0000
+++ src/pipe/gui/graphicElements/Transition.java	2018-08-14 07:53:04 +0000
@@ -98,8 +98,10 @@
 
 		if (selected && !ignoreSelection) {
 			g2.setColor(Pipe.SELECTION_FILL_COLOUR);
+			pnName.setForeground(Pipe.SELECTION_LINE_COLOUR);
 		} else {
 			g2.setColor(Pipe.ELEMENT_FILL_COLOUR);
+			pnName.setForeground(Pipe.ELEMENT_LINE_COLOUR);
 		}
 
 		if (highlighted) {