更改TextView字体的相对属性

在Java Swing中，不知道字体的实际属性，可以改变它的相对属性。比如，我想把标签的字体调整变小1个像素，并不知道它现在的大小。

private void initComponents() {
    jLabel12.setFont(jLabel12.getFont().deriveFont(
        jLabel12.getFont().getSize()-1f));
}

在 Android 中，如何做可以让 TextView 达到类似的效果？

textview.gettextsize 可以得到当前字体的大小 settextsize设置字体大小