Widget.modifyFont

Modifies the font for this widget. This just calls modifyFont(new PgFontDescription(PgFontDescription.fromString(family ~ " " ~ size)));

  1. void modifyFont(string family, int size)
    class Widget
    void
    modifyFont
    (
    string family
    ,
    int size
    )
  2. void modifyFont(PgFontDescription fontDesc)