pan> destroy; <span style="color:teal"><b>OVERRIDE</b></span>;
        <span style="color:navy"><b>PROCEDURE</b></span> execute ();
        <span style="color:navy"><b>PROCEDURE</b></span> initnewwidget (const ascale: real); <span style="color:teal"><b>OVERRIDE</b></span>;
        <span style="color:navy"><b>PROCEDURE</b></span> updatehotkeys () <span style="color:teal"><b>OVERRIDE</b></span>;
        <span style="color:navy"><b>PROCEDURE</b></span> doupdate;
        <span style="color:navy"><b>PROCEDURE</b