小编Chr*_*ian的帖子

方便地输入Unicode数学符号

我想方便地输入 Unicode 符号,例如希腊字母 ?, ?, ... 和数学符号,例如 ?, ?, ...

使用字符映射不方便。

我更愿意输入类似 \delta 的内容并将其转换为 ? 通过按 TAB 或任何其他类似于许多 LaTeX 编辑器的键。

背景是,我想使用 eclipse 来编辑 Julia 代码。但是能够用操作系统做到这一点比让 Eclipse 做到这一点要好。

Autokey-gtk 似乎做我想做的。但我无法让它运行。每次触发事件时崩溃。

unicode unicode-entry

6
推荐指数
1
解决办法
643
查看次数

18.04 锁屏停止工作 - 屏幕冻结

在此处输入图片说明

当我尝试锁定屏幕时,它会冻结。无法再次登录。它曾经完美地工作,突然间就不行了。但是,我不知道最近有任何更新或类似情况。

我会尝试重新安装负责锁定屏幕的组件。那会是哪一个?

lock-screen 18.04

6
推荐指数
2
解决办法
8453
查看次数

原始鼠标输入 14.04

如何在 14.04 中启用原始鼠标输入。那是

没有对加速度的修改。移动速度没有变化。因此,鼠标的 DPI/CPI 应与鼠标移动一英寸时光标将移动的像素量相对应。

这是 xinput 的输出:

$ xinput
? Virtual core pointer                          id=2    [master pointer  (3)]
?   ? Virtual core XTEST pointer                id=4    [slave  pointer  (2)]
?   ? Logitech G400s Optical Gaming Mouse       id=8    [slave  pointer  (2)]
?   ? HID 046a:010d                             id=10   [slave  pointer  (2)]
? Virtual core keyboard                         id=3    [master keyboard (2)]
    ? Virtual core XTEST keyboard               id=5    [slave  keyboard (3)]
    ? Power Button                              id=6    [slave  keyboard (3)]
    ? Power Button                              id=7    [slave  keyboard (3)]
    ? …
Run Code Online (Sandbox Code Playgroud)

mouse

4
推荐指数
1
解决办法
2693
查看次数

标签 统计

18.04 ×1

lock-screen ×1

mouse ×1

unicode ×1

unicode-entry ×1