Arch Linux

buntolo

Member

Registered: 2011-10-11

Posts: 202

Super small font in mysql-workbench

1) I'm using mysql-workbench and submenu texts are rendered with a super small font, like size 2.
2) I can't find any font option related to this and anyway changes aren't saved after mysql-workbench restart.
3) There's no configuration file wb_options.xml (https://dev.mysql.com/doc/workbench/en/ … files.html).
4) I can't find any reference to this on the internet.

http://imgur.com/otCyyrUl.png

http://imgur.com/s6o8ygGl.png

%  pacman -Qi mysql-workbench
Nome                      : mysql-workbench
Versione                  : 6.3.9-4
Descrizione               : A cross-platform, visual database design tool
                            developed by MySQL
Architettura              : x86_64
URL                       : https://www.mysql.com/products/workbench/
Licenze                   : GPL2
Gruppi                    : Nessuno
Fornisce                  : Nessuno
Dipenda da                : cairo  ctemplate  desktop-file-utils  freetype2
                            gtkmm3  hicolor-icon-theme  libgl  libgnome-keyring
                            libiodbc  libxml2  libzip  mysql-python  pcre
                            python2  python2-cairo  python2-paramiko
                            python2-pexpect  tinyxml  unixodbc  vsqlite++
Dipendenze opzionali      : gnome-keyring: store SSH/MySQL passwords in GNOME
                            password manager [installato]
                            python2-pyodbc: database migration
Richiesto da              : Nessuno
Opzionale per             : Nessuno
Conflitti con             : Nessuno
Sostituisce               : Nessuno
Spazio richiesto          : 118,33 MiB
Pacchettizzatore          : Christian Hesse <arch@eworm.de>
Data di creazione         : mar 16 mag 2017 11:00:09 EEST
Data di installazione     : mer 24 mag 2017 23:29:48 EEST
Motivo dell'installazione : Installato esplicitamente
Script di install         : No
Convalidato da            : Firma

Last edited by x33a (2017-05-26 06:46:09)

x33a

Forum Fellow

Registered: 2009-08-15

Posts: 4,587

Re: Super small font in mysql-workbench

@buntolo, you are on old enough member to know our forums rules. Please don't paste oversized images. I have edited your post.

https://wiki.archlinux.org/index.php/Co … s_and_code

buntolo

Member

Registered: 2011-10-11

Posts: 202

Re: Super small font in mysql-workbench

@buntolo, you are on old enough member to know our forums rules. Please don't paste oversized images. I have edited your post.

https://wiki.archlinux.org/index.php/Co … s_and_code

I'm sorry, I use a 13.3" FullHD and they seemed tiny images to me. I didn't think about my HiDPI, sorry.

buntolo

Member

Registered: 2011-10-11

Posts: 202

Re: Super small font in mysql-workbench

I don't want to bump a thread, but also I don't know which info I should provide.

I've installed mysql-workbench on Windows 10 and it's useable but this means nearly nothing.

Searching in google I couldn't find other people with this issue. What should I look for? I mean which query I should use.

circleface

Member

Registered: 2012-05-26

Posts: 639

Re: Super small font in mysql-workbench

While I cannot answer your thread directly, I think it has to do with your HiDPI monitor.  X is notoriously bad with HiDPI, not sure about Wayland.  What DE/WM are you running?  Some of the popular DE's have options for screen scaling, which might help make the text a little more readable.

buntolo

Member

Registered: 2011-10-11

Posts: 202

Re: Super small font in mysql-workbench

I'm using XFCE with X. I'll try Wayland on a separate partition.

Which DE do you suggest for an HiDPI monitor?

circleface

Member

Registered: 2012-05-26

Posts: 639

Re: Super small font in mysql-workbench

From various posts on this forum it seems KDE has decent support for HiDPI.  You could also try Gnome if you want, as it might also support it.  But I don't use HiDPI or any DE so I can't really provide a complete answer.

Check here for instructions.  That page seems to confirm that KDE and Gnome both have support for it.

buntolo

Member

Registered: 2011-10-11

Posts: 202

Re: Super small font in mysql-workbench

Ok, I'm following the wiki and I've problems getting xorg to read the correct display size:

% xdpyinfo | grep -B 2 resolution
screen #0:
  dimensions:    1920x1080 pixels (508x286 millimeters)
  resolution:    96x96 dots per inch

I've followed this article to create a monito.conf in xorg.conf.d: https://wiki.archlinux.org/index.php/Xo … ze_and_DPI

% cat /etc/X11/xorg.conf.d/20-monitor.conf 
Section "Monitor"
    Identifier             "Monitor0"
   # DisplaySize             294 166    # 168 @ 1920x1080 # These should be the correct values.
    DisplaySize            290 170 # These are the value found by xrandr --prop
    Option                 "DPI" "168 x 168"
    Option                 "NoDDC"
    Option                 "DDCMode" "false"

It seems xorg is ignoring its confg file. Should I create a new thread?

x33a

Forum Fellow

Registered: 2009-08-15

Posts: 4,587

Re: Super small font in mysql-workbench

Yes, please open a separate thread for the Xorg issue.

buntolo

Member

Registered: 2011-10-11

Posts: 202

Re: Super small font in mysql-workbench

Ok, I've created a new thread: https://bbs.archlinux.org/viewtopic.php?pid=1718535