Change the font attribute of TextView relatively
<p>In Java Swing, I can change the attributes of <code>Font</code> relatively, without having to know its actual attributes. For example, I can say, I want to make this label's font 1 pixel less than its current size, without having to know what is current size.</p>

<pre><code>private void initComponents() {
    jLabel12.setFont(jLabel12.getFont().deriveFont(
        jLabel12.getFont().getSize()-1f));
}
</code></pre>

<p>In Android, how I can achieve the similar stuff for <code>TextView</code>?</p>
