i am stupid, this works textComponent.getClientProperty("text-zoom")
________________________________
From: Peter Cheung <[email protected]>
Sent: Thursday, September 29, 2022 5:20 PM
To: [email protected] <[email protected]>
Subject: Re: verilog plugin
this should work but it doesn't
System.out.println("TEXT_ZOOM_PROPERTY=" +
textComponent.getClientProperty("TEXT_ZOOM_PROPERTY"));
________________________________
From: Peter Cheung <[email protected]>
Sent: Thursday, September 29, 2022 5:14 PM
To: [email protected] <[email protected]>
Subject: verilog plugin
Hi
1. I made this funny plugin can single-step the Verilog code
https://www.youtube.com/watch?v=cPjEUe2uY8I
2. I am using DefaultHighlighter to paint something on editor, but how can
we get the editor zoom ratio in order to paint in correct position? thanks
Thanks
>From Peter (System Architect, Quantr Limited https://www.quantr.hk , Mobile :
>96554595)
