Cannot set line type of object border

[Liu G. <goo...@gm...>]

Terminal has been set "dash" option.

set object polygon from 0,0 to 1,0 to 1.5, sqrt(3)/2 to 0.5,sqrt(3)/2 to
0,0 border lt 3

The above statement doesn't work properly: the border of the polygon is
only set to blue color but is still solid, I need it to be set dashed!

Is this a bug?

gbliu