标签：用户接口

Ubuntu上的Eclipse中的巨大选项卡

Θ2020-06-05 01:43 ✥eclipse, gtk, ubuntu, 用户接口

linux – 终端：在窗口中打开当前路径？

Θ2020-03-01 17:59 ✥linux, ubuntu, 用户接口, 目录, 终端

Ubuntu上的Eclipse窗格中的选项卡非常大

Θ2020-02-13 14:59 ✥eclipse, gtk, ubuntu, 用户接口

无法使用Ubuntu运行Java GUI程序

Θ2019-09-04 20:19 ✥java, runtime-error, swing, ubuntu, 用户接口