Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
dotNET Platform
fsharp
提交
44dada7e
F
fsharp
项目概览
dotNET Platform
/
fsharp
12 个月 前同步成功
通知
0
Star
1
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
DevOps
流水线
流水线任务
计划
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
F
fsharp
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
DevOps
DevOps
流水线
流水线任务
计划
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
流水线任务
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
未验证
提交
44dada7e
编写于
12月 05, 2020
作者:
S
Swoorup Joshi
提交者:
GitHub
12月 04, 2020
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Allow moving cursor by prev/next words (#10601)
上级
1f08df3b
变更
1
隐藏空白更改
内联
并排
Showing
1 changed file
with
43 addition
and
10 deletion
+43
-10
src/fsharp/fsi/console.fs
src/fsharp/fsi/console.fs
+43
-10
未找到文件。
src/fsharp/fsi/console.fs
浏览文件 @
44dada7e
...
...
@@ -118,6 +118,20 @@ module internal Utils =
|
None
->
failwith
"Internal Error: cannot bind to method"
|
Some
methInfo
->
methInfo
let
rec
previousWordFromIdx
(
line
:
string
)
(
idx
,
isInWord
)
=
if
idx
<
0
then
0
else
match
line
.
Chars
(
idx
),
isInWord
with
|
'
'
,
true
->
idx
+
1
|
'
'
,
false
->
previousWordFromIdx
line
(
idx
-
1
,
false
)
|
_,
_
->
previousWordFromIdx
line
(
idx
-
1
,
true
)
let
rec
nextWordFromIdx
(
line
:
string
)
(
idx
,
isInWord
)
=
if
idx
>=
line
.
Length
then
line
.
Length
-
1
else
match
line
.
Chars
(
idx
),
isInWord
with
|
'
'
,
true
->
idx
|
'
'
,
false
->
nextWordFromIdx
line
(
idx
+
1
,
false
)
|
_,
_
->
nextWordFromIdx
line
(
idx
+
1
,
true
)
[<
Sealed
>]
type
internal
Cursor
=
static
member
ResetTo
(
top
,
left
)
=
...
...
@@ -304,6 +318,24 @@ type internal ReadLineConsole() =
let
c
=
input
.
Chars
(
current
)
current
<-
current
+
1
Cursor
.
Move
(
x
.
Inset
,
x
.
GetCharacterSize
(
c
))
let
moveWordLeft
()
=
if
(
current
>
0
&&
(
current
-
1
<
input
.
Length
))
then
let
line
=
input
.
ToString
()
current
<-
Utils
.
previousWordFromIdx
line
(
current
-
1
,
false
)
anchor
.
PlaceAt
(
x
.
Inset
,
current
)
let
moveWordRight
()
=
if
(
current
<
input
.
Length
)
then
let
line
=
input
.
ToString
()
let
idxToMoveTo
=
Utils
.
nextWordFromIdx
line
(
current
+
1
,
false
)
// if has reached end of the last word
if
idxToMoveTo
=
current
&&
current
<
line
.
Length
then
current
<-
line
.
Length
else
current
<-
idxToMoveTo
anchor
.
PlaceAt
(
x
.
Inset
,
current
)
let
setInput
(
line
:
string
)
=
input
.
Length
<-
0
...
...
@@ -346,14 +378,7 @@ type internal ReadLineConsole() =
let
deleteWordLeadingToCursor
()
=
if
(
input
.
Length
>
0
&&
current
>
0
)
then
let
line
=
input
.
ToString
()
let
rec
prevWord
(
idx
,
isInWord
)
=
if
idx
<
0
then
0
else
match
line
.
Chars
(
idx
),
isInWord
with
|
'
'
,
true
->
idx
+
1
|
'
'
,
false
->
prevWord
(
idx
-
1
,
false
)
|
_,
_
->
prevWord
(
idx
-
1
,
true
)
let
idx
=
prevWord
(
current
-
1
,
false
)
let
idx
=
Utils
.
previousWordFromIdx
line
(
current
-
1
,
false
)
input
.
Remove
(
idx
,
current
-
idx
)
|>
ignore
current
<-
idx
render
()
...
...
@@ -424,10 +449,10 @@ type internal ReadLineConsole() =
|
ConsoleKey
.
DownArrow
->
setInput
(
history
.
Next
()
)
change
()
|
ConsoleKey
.
RightArrow
->
|
ConsoleKey
.
RightArrow
when
key
.
Modifiers
&&&
ConsoleModifiers
.
Control
=
enum
0
->
moveRight
()
change
()
|
ConsoleKey
.
LeftArrow
->
|
ConsoleKey
.
LeftArrow
when
key
.
Modifiers
&&&
ConsoleModifiers
.
Control
=
enum
0
->
moveLeft
()
change
()
|
ConsoleKey
.
Escape
->
...
...
@@ -455,6 +480,14 @@ type internal ReadLineConsole() =
|
(
ConsoleModifiers
.
Control
,
ConsoleKey
.
F
)
->
moveRight
()
change
()
|
(
ConsoleModifiers
.
Control
,
ConsoleKey
.
LeftArrow
)
|
(
ConsoleModifiers
.
Alt
,
ConsoleKey
.
B
)
->
moveWordLeft
()
change
()
|
(
ConsoleModifiers
.
Control
,
ConsoleKey
.
RightArrow
)
|
(
ConsoleModifiers
.
Alt
,
ConsoleKey
.
F
)
->
moveWordRight
()
change
()
|
(
ConsoleModifiers
.
Control
,
ConsoleKey
.
K
)
->
deleteToEndOfLine
()
change
()
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录