Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#75343 - [wxwidgets] Add support for wxFont::AddPrivateFont
Attached to Project:
Arch Linux
Opened by Christian Cornelssen (ccorn) - Saturday, 16 July 2022, 14:04 GMT
Last edited by Antonio Rojas (arojas) - Sunday, 17 July 2022, 13:29 GMT
Opened by Christian Cornelssen (ccorn) - Saturday, 16 July 2022, 14:04 GMT
Last edited by Antonio Rojas (arojas) - Sunday, 17 July 2022, 13:29 GMT
|
DetailsSoftware like WxMaxima uses wxFont::AddPrivateFont.
This requires that WxWidgets has been configured with -DwxUSE_PRIVATE_FONTS=ON. This seems to have been the case for previous releases of the ArchLinux wxgtk3 package, but now it's off by default on Linux (but on for Windows, for example). For compatibility, I suggest to configure WxWidgets with -DwxUSE_PRIVATE_FONTS=ON: --- a/trunk/PKGBUILD +++ b/trunk/PKGBUILD @@ -24,6 +24,7 @@ build() { -DCMAKE_INSTALL_PREFIX=/usr \ -DCMAKE_BUILD_TYPE=None \ -DwxBUILD_TOOLKIT=gtk3 \ + -DwxUSE_PRIVATE_FONTS=ON \ -DwxUSE_OPENGL=ON \ -DwxUSE_REGEX=sys\ -DwxUSE_ZLIB=sys \ @@ -39,6 +40,7 @@ build() { -DCMAKE_INSTALL_PREFIX=/usr \ -DCMAKE_BUILD_TYPE=None \ -DwxBUILD_TOOLKIT=qt \ + -DwxUSE_PRIVATE_FONTS=ON \ -DwxUSE_OPENGL=ON \ -DwxUSE_REGEX=sys \ -DwxUSE_ZLIB=sys \ Verification: With wxwidgets-gtk3 installed, do: grep wxUSE_PRIVATE_FONTS /usr/lib/wx/include/gtk3-unicode-3.2/wx/setup.h This should output #define wxUSE_PRIVATE_FONTS 1 instead of the current #define wxUSE_PRIVATE_FONTS 0 |
This task depends upon
Closed by Antonio Rojas (arojas)
Sunday, 17 July 2022, 13:29 GMT
Reason for closing: Implemented
Additional comments about closing: wxwidgets 3.2.0-3
Sunday, 17 July 2022, 13:29 GMT
Reason for closing: Implemented
Additional comments about closing: wxwidgets 3.2.0-3