49b9cf9fd4
[Option][GUI] Font options
2023-06-14 03:29:39 +03:00
John Preston
bd7c085bd0
Fix warning in GCC on C++20.
2021-11-14 11:26:24 +04:00
John Preston
d4c99701b5
Fix deprecation warnings on Qt 5.15.1.
2020-11-04 18:44:45 +03:00
John Preston
05d1ee3796
Allow overriding fonts by (family,style).
2020-06-05 19:42:07 +04:00
ilya-fedin
74889b8c21
Better algorithm for font choosing
2020-04-13 11:31:34 +04:00
Nicholas Guriev
4c165ea446
Remove explicitly defined copy operator for style::internal::Font
...
It was equivalent of default copy operator generated by compiler itself.
Removing this copy operation, we do not change behavior of the code but
resolve the -Wdeprecated-copy warning from GCC.
2020-01-21 12:32:06 +03:00
John Preston
e824bb2f6b
Use custom named fonts.
2019-10-13 10:44:45 +04:00
John Preston
85c83003ca
Initial commit.
2019-09-17 17:48:58 +03:00
