Skip to content

Update syntax.{jax, txt} and textprop.{jax, txt} #811

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 5 commits into from
Apr 24, 2020
Merged

Update syntax.{jax, txt} and textprop.{jax, txt} #811

merged 5 commits into from
Apr 24, 2020

Conversation

higashi000
Copy link
Member

syntax.txtの更新に合わせたsyntax.jaxの変更と
textprop.txtの更新に合わせたtextprop.jaxの変更を行いました。

@k-takata
Copy link
Member

textprop.jaxの文体が混ざってますね。一部をeval.jaxから移動したからかな。
(今回のPRによる問題ではないので対処は不要です。)

doc/textprop.jax Outdated
@@ -143,8 +143,9 @@ prop_add({lnum}, {col}, {props})
用するか、複数の行にまたがるプロパティに対して "end_lnum" と
"end_col" を使用する。
"length" または "end_col" のどちらも与えられない場合、プロパ
ティは幅ゼロになる。これは、強調表示されないが、テキストと共に
マークのように移動することを意味する。
ティは幅ゼロになる。これは、テキストと共にマークのように移動
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

改行位置がずれている気がします。

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

8f9b9c6 で修正しました

doc/textprop.jax Outdated
@@ -227,6 +228,7 @@ prop_remove({props} [, {lnum} [, {lnum-end}]])
{props}は次のフィールドを持つ辞書である:
id このIDを持つテキストプロパティを削除する
type このタイプ名を持つテキストプロパティを削除する
both "id" と "type" は同じでなければならない
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ちょっと違う気がします。
「"id" と "type" の両方がマッチしなければならない」といった感じでしょうか。

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

8f9b9c6 で修正しました

@k-takata k-takata merged commit 8e38745 into vim-jp:master Apr 24, 2020
@k-takata
Copy link
Member

thx

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants