Thanks, Khurshid!
I automated your method by
```
mkdir -p ~/.config/gtk-3.0
cat > ~/.config/gtk-3.0/gtk.css << EOF
.context-menu {
font-weight: medium;
font-family: regular;
}
EOF
```
and got almost normal context menu in Pluma.
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gtksourceview3 in Ubuntu.
https://bugs.launchpad.net/bugs/1823550
Title:
GtkSourceView wrongly has monospaced font in dropdown (context) menu
Status in GtkSourceView:
Fix Released
Status in gtk+3.0 package in Ubuntu:
Invalid
Status in gtksourceview3 package in Ubuntu:
Invalid
Status in mate-themes package in Ubuntu:
Confirmed
Status in pluma package in Ubuntu:
Invalid
Status in ubuntu-themes package in Ubuntu:
Confirmed
Bug description:
Steps to reproduce:
1. Have Ubuntu 17.04 or later installed
2. Open any application with GtkSourceView component - such as Pluma, Gedit,
Giggle, Gitg, gnome-builder and maybe others (see complete list with `apt-cache
rdepends libgtksourceview-3.0-1`)
3. Click right mouse button on text zone
Expected result:
* dropdown menu has normal font as all other interface elements
Actual result:
* dropdwon menu wrongly has monospaced font
Notes:
* first seen in 17.04, but persists in 17.10, 18.04 LTS, 18.10, 19.04
releases.
* seems to be caused by GTK3 library
ProblemType: Bug
DistroRelease: Ubuntu 17.04
Package: pluma 1.18.1-0ubuntu1
ProcVersionSignature: Ubuntu 4.10.0-42.46-generic 4.10.17
Uname: Linux 4.10.0-42-generic x86_64
ApportVersion: 2.20.4-0ubuntu4.10
Architecture: amd64
CurrentDesktop: MATE
Date: Sun Apr 7 20:13:24 2019
InstallationDate: Installed on 2018-08-07 (243 days ago)
InstallationMedia: Ubuntu-MATE 16.04.3 LTS "Xenial Xerus" - Release amd64
(20170801)
SourcePackage: pluma
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/gtksourceview/+bug/1823550/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
