User Activity

  • Modified a comment on ticket #97 on TexMaths

    So, this is a long-running issue, and I've been plagued by it for as long as this thread has existed. It's a weird one. That said, I was recently investigating a sizing issue in an application I was developing and this problem was seemingly resolved. So I thought I would share. I am using the KDE Plasma desktop (5.18.6). In System Settings -> Fonts I selected "Force font DPI". It was not selected, which seems to be the default setting. I selecting it using the default setting of 96 DPI. That required...

  • Posted a comment on ticket #97 on TexMaths

    So, this is a long-running issue, and I've been plagued by it for as long as this thread has existed. It's a weird one. That said, I was recently investigating a sizing issue in an application I was developing and this problem was seemingly resolved. So I thought I would share. I am using the KDE Plasma desktop (5.18.6). In System Settings -> Fonts I selected "Force font DPI". It was not selected, which seems to be the default setting. I selecting it using the default setting of 96 DPI. That required...

View All

Personal Data

Username:
suse-64
Joined:
2007-08-28 16:33:59

Projects

  • No projects to display.

Personal Tools