📄 einstellungen
字号:
Date: Fri, 7 Nov 2003 04:28:55 +0100Mime-Version: 1.0 (Produced by PhpWiki 1.3.5pre)X-Rcs-Id: $Id: Einstellungen,v 1.8 2003/11/15 22:55:23 carstenklapp Exp $Content-Type: application/x-phpwiki; pagename=Einstellungen; pgsrc_version="2 $Revision: 1.8 $"; flags=PAGE_LOCKED; markup=2; summary=RedirectTo%20Benutzer%20Einstellungen; charset=iso-8859-1Content-Transfer-Encoding: binary<?plugin RedirectTo page=BenutzerEinstellungen?>----WikiPlugin PluginManager
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -