click (or double click) to select the stroke and in the properties panel scale dropbox select normal.
yeah, i've tried that many times...
Restarted Flash, created new documents, used different tools, with still the same non-scaling strokes
So, you're saying it's possible, though?
I couldn't find how to do this in the manual anywhere, nor online...
Actually, you can't scale a raw stroke, which actually seems like a bug. You have to set scaling to "Normal" and then place it inside a movie clip. When you resize the movie clip, the stroke width will scale more or less the way you want it.
there we go! I knew it was easy. Thanks
Yeah, seems like a bug...
I just submitted as a bug.
But I mentioned it seems more like a confusing design, which isn't documented.