diff --git a/web/include/tips.php b/web/include/tips.php new file mode 100644 index 00000000..56824104 --- /dev/null +++ b/web/include/tips.php @@ -0,0 +1,16 @@ +

快捷键

+
    +
  1. +

    Enter:换行,并保持与上一行相同的缩进

    +
  2. +
  3. +

    Tab/Shift + Tab:增加/减少缩进(支持多行)

    +
  4. +
  5. +

    Shift + DelShift + Backspace:删除整行 +

    +
  6. +
  7. +

    Home:将光标移到文本中的第一个非空格字符之前

    +
  8. +
diff --git a/web/public/input.php b/web/public/input.php index d87ee730..851eb3c2 100644 --- a/web/public/input.php +++ b/web/public/input.php @@ -47,22 +47,7 @@ define('ROOT_PATH', dirname(__DIR__)); -

快捷键

-
    -
  1. -

    Enter:换行,并保持与上一行相同的缩进

    -
  2. -
  3. -

    Tab/Shift + Tab:增加/减少缩进(支持多行)

    -
  4. -
  5. -

    Shift + DelShift + Backspace:删除整行 -

    -
  6. -
  7. -

    Home:将光标移到文本中的第一个非空格字符之前

    -
  8. -
+