undocumented failure conditions of 'is_hidden'

kevinwatkins / hol-light

Automatically exported from code.google.com/p/hol-light

Other

0 stars 0 forks source link

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago

The attached patch documents failure conditions of 'is_hidden'.

Original issue reported on code.google.com by piotr.tr...@gmail.com on 24 Jul 2014 at 8:24

Attachments:

GoogleCodeExporter commented 8 years ago

Thanks for the patch, finally applied in r205.

Original comment by jrh...@gmail.com on 16 Nov 2014 at 8:32