Webots Webot UI文本太小

您好，我使用了Webots，我发现不仅场景树视图中的文本，而且弹出窗口都非常小。
我试图更改显示分辨率，但发现只有一个可用（3840x2160），而且

xrandr

无法解决此问题。
Webots中的首选项无法设置显示的字体大小

xrandr设置

seanlu@seanlu-HP-ZBook-15-G6:~$ xrandr -q
Screen 0: minimum 8 x 8, current 3840 x 2160, maximum 32767 x 32767
DP-0 disconnected (normal left inverted right x axis y axis)
HDMI-0 disconnected (normal left inverted right x axis y axis)
DP-1 connected primary 3840x2160+0+0 (normal left inverted right x axis y axis) 344mm x 193mm
   3840x2160     60.00*+  40.00  
DP-2 disconnected (normal left inverted right x axis y axis)
seanlu@seanlu-HP-ZBook-15-G6:~$ cvt 1920 1080 60
# 1920x1080 59.96 Hz (CVT 2.07M9) hsync: 67.16 kHz; pclk: 173.00 MHz
Modeline "1920x1080_60.00"  173.00  1920 2048 2248 2576  1080 1083 1088 1120 -hsync +vsync
seanlu@seanlu-HP-ZBook-15-G6:~$ xrandr --newmode 1920x1080 173.00  1920 2048 2248 2576  1080 1083 1088 1120 -hsync +vsync
seanlu@seanlu-HP-ZBook-15-G6:~$ xrandr -q
Screen 0: minimum 8 x 8, current 3840 x 2160, maximum 32767 x 32767
DP-0 disconnected (normal left inverted right x axis y axis)
HDMI-0 disconnected (normal left inverted right x axis y axis)
DP-1 connected primary 3840x2160+0+0 (normal left inverted right x axis y axis) 344mm x 193mm
   3840x2160     60.00*+  40.00  
DP-2 disconnected (normal left inverted right x axis y axis)
  1920x1080 (0x270) 173.000MHz -HSync +VSync
      h: width  1920 start 2048 end 2248 total 2576 skew    0 clock  67.16KHz
      v: height 1080 start 1083 end 1088 total 1120           clock  59.96Hz
seanlu@seanlu-HP-ZBook-15-G6:~$ xrandr --addmode DP-2 1920x1080
X Error of failed request:  BadMatch (invalid parameter attributes)
  Major opcode of failed request:  140 (RANDR)
  Minor opcode of failed request:  18 (RRAddOutputMode)
  Serial number of failed request:  35
  Current serial number in output stream:  36

电脑信息

• 型号：HP ZBook 15 G6
• 操作系统：Ubuntu 18.04，内核5.4.0-48-generic
• 图形卡：NVidia Quadro T1000
• NVidia驱动程序：NVidia-SMI 450.80.02

是否可以以适当的大小显示文本？

---

如有任何建议，将不胜感激

我确认这是linux中的一个简单修复，如评论中所述，我更改了保存在

$（WEBOTS\u HOME）/resources/stylesheet.linux.qss

中的CSS样式表。我只是将所有不可缩放的像素

px

引用更改为点

pt

。通过搜索和替换轻松完成。它们对我来说有点大，所以我把它们都缩小了1分。这样，我就不必计算出每种特定的风格指的是什么

---

font-size:11px

更改为

font-size:11pt

您可以通过编辑

webots/resources/*.qss

文件（取决于您的皮肤）并在相关部分设置不同的

font-size

属性来解决此问题。在

$（webots\u HOME）中修改
font-size
/resources/stylesheet.linux.qss

修复了这些问题。感谢@Olivier Michel