widgets: remove a few uses of diff_font()
commit332be66426820626f8c8fbd996647abfe1d88746
authorDavid Aguilar <davvid@gmail.com>
Thu, 26 Jul 2018 07:30:17 +0000 (26 00:30 -0700)
committerDavid Aguilar <davvid@gmail.com>
Thu, 26 Jul 2018 07:30:17 +0000 (26 00:30 -0700)
treedbb785b2aa51d9274a062c3f22f6cb38fa639c34
parent10ac44f833e591fe5f5e921995e9034b00d9beff
widgets: remove a few uses of diff_font()

Use default_monospace_font() in a few places so that we don't have to
plumb the context through every widget.

Signed-off-by: David Aguilar <davvid@gmail.com>
cola/guicmds.py
cola/widgets/branch.py
cola/widgets/createbranch.py
cola/widgets/remote.py
cola/widgets/standard.py
cola/widgets/startup.py