We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Dash で snippets を登録して、入力をすると snippet の置き換え前の文字列を削除しおわったところから置き換え後の文字列を挿入するところで操作が失敗します。置き換え後の文字列が挿入されません。クリップボードには置き換え後の文字列がはいっていて、失敗直後にペーストを実行すると置き換えが完了する状態です。(正常な状態では置き換え後にクリップボードにはその文字列は残っていないので、Dashはペースト完了後にクリップボードから削除する操作までを行っているのだとおもいます)
なにか調査すべきことはあるでしょうか。 入力ソースを切り替える以外の回避方法がある可能性はありますか?
The text was updated successfully, but these errors were encountered:
No branches or pull requests
環境
Dash で snippets を登録して、入力をすると snippet の置き換え前の文字列を削除しおわったところから置き換え後の文字列を挿入するところで操作が失敗します。置き換え後の文字列が挿入されません。クリップボードには置き換え後の文字列がはいっていて、失敗直後にペーストを実行すると置き換えが完了する状態です。(正常な状態では置き換え後にクリップボードにはその文字列は残っていないので、Dashはペースト完了後にクリップボードから削除する操作までを行っているのだとおもいます)
なにか調査すべきことはあるでしょうか。
入力ソースを切り替える以外の回避方法がある可能性はありますか?
The text was updated successfully, but these errors were encountered: