Built in diff tool ignores system font stetting

Bug #1695753 reported by Cubic PPA on 2017-06-04
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Bazaar Explorer
Undecided
Unassigned

Bug Description

My monospace system font is set to 'Liberation Mono Regular'.

    $ gsettings get org.gnome.desktop.interface monospace-font-name
      'Liberation Mono 9'

The built in diff tool seems to be using a different font (perhaps 'Monospace Regular'?).

The diff tool should use the system configured monospace font.

Distributor ID: Ubuntu
Description: Ubuntu 17.04
Release: 17.04
Codename: zesty

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers