
Seems fine.
Might consider using the HTML API to add some of the markup. That way it is extensible and can be hooked into.
https://www.getbeans.io/documentation/markup-and-attributes/
Jeff

Jeff, very thank, I will do it.
Seems fine.
Might consider using the HTML API to add some of the markup. That way it is extensible and can be hooked into.
https://www.getbeans.io/documentation/markup-and-attributes/
Jeff
Jeff, very thank, I will do it.
Login or register to write a reply, it's free!