📄 strings.properties
字号:
# Java Web Start - JarDiff tool strings# @(#)strings.properties 1.3 01/02/14## Copyright 1999-2001 Sun Microsystems, Inc. All rights reserved.# Copyright 1999-2001 Sun Microsystems, Inc. Tous droits r\351serv\351s.#jardiff.error.create=Unable to successfully createjardiff.error.apply=Unable to successfully applyjardiff.error.noindex=Invalid jardiff, no index!jardiff.error.badheader=Invalid jardiff header:jardiff.error.badremove=Invalid remove command:jardiff.error.badmove=Invalid move command:jardiff.error.badcommand=Invalid command:
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -