Tools__TagList.st
branchjv
changeset 17276 213d590bcf54
parent 17136 cb908d2ba02e
parent 17207 242fef148d28
--- a/Tools__TagList.st	Sat Jan 14 00:38:54 2017 +0000
+++ b/Tools__TagList.st	Mon Jan 16 19:58:08 2017 +0000
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 2002 by eXept Software AG 
 	      All Rights Reserved
@@ -2641,9 +2639,11 @@
                 tagClass ~~ Tag::THeaderElement ifTrue:[^ nil].
             ] ifFalse:[ showOnly == #anchors ifTrue:[
                 tagClass ~~ Tag::TAnchorElement ifTrue:[^ nil].
+            ] ifFalse:[ showOnly == #targets ifTrue:[
+                tagClass ~~ Tag::TMakeTarget ifTrue:[^ nil].
             ] ifFalse:[    
                 self halt:'unhandled showOnly'.
-            ]]]]]]]]]]]
+            ]]]]]]]]]]]]
         ]
     ].