You are not logged in.
Pages: 1
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.
% 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)
Offline
@buntolo, you are on old enough member to know our forums rules. Please don't paste oversized images. I have edited your post.
Offline
@buntolo, you are on old enough member to know our forums rules. Please don't paste oversized images. I have edited your post.
I'm sorry, I use a 13.3" FullHD and they seemed tiny images to me. I didn't think about my HiDPI, sorry.
Offline
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.
Offline
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.
Offline
I'm using XFCE with X. I'll try Wayland on a separate partition.
Which DE do you suggest for an HiDPI monitor?
Offline
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.
Offline
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?
Offline
Yes, please open a separate thread for the Xorg issue.
Offline
Ok, I've created a new thread: https://bbs.archlinux.org/viewtopic.php?pid=1718535
Offline
Pages: 1