Hi,

using build 534 on win 2k, with sun 1.3 jvm.  The auto-hide pins always
show auto-hide for their tooltip... doesn't really make sense when they
are already in auto-hide mode... maybe it should say auto hide toggle, and
then the image change when its hidden or not hidden...?  just a
suggestion.

cheers
dim


_______________________________________________
Eap-list mailing list
[EMAIL PROTECTED]
http://www.intellij.com/mailman/listinfo/eap-list

Reply via email to