Forums: 公開討議 (Thread #35575)

バックスペースで空行を除去できない (2014-06-11 22:22 by Frankie #73407)

ご無沙汰してます.

v1.7.10で追加された「行末空白の逆インデント」機能の副作用なのか,
「バックスペースで空行を除去する」操作ができなくなりました.
この操作はエディタの一般的な挙動なので,フラグの有無に関わらず操作できるべきだと考えます.
如何でしょう?

ところで,そもそも「逆インデント」って,どういう機能なんでしょうか?
普通のバックスペース削除と何が違うのかがよく理解できません.
少し解説を頂ければ幸いです.

Reply to #73407×

You can not use Wiki syntax
You are not logged in. To discriminate your posts from the rest, you need to pick a nickname. (The uniqueness of nickname is not reserved. It is possible that someone else could use the exactly same nickname. If you want assurance of your identity, you are recommended to login before posting.) Login

Re: バックスペースで空行を除去できない (2014-06-16 00:29 by sgry #73456)

Frankieさん

山本(sgry)です。お久しぶりです。

ご指摘ありがとうございます。空行をバックスペースで削除できないのは、ご推測の通り逆インデント機能の実装にバグがあるために起こっています。意図した動作ではありません。申し訳ありません。

1.7.10で実装した逆インデントというのは、バックスペースキーを押すと「一つ前のタブストップまで半角スペースを削除する」機能です。インデントに半角スペースを使用する場合での利用を想定しています。タブキーで複数の空白文字を挿入するように動作変更するUsesTabForIndentプロパティの、「削除」版です。

取り急ぎ、1.7.10はアルファ版という扱いに落としました。少し時間を作って修正しますので、お時間いただきたくお願いします。
Reply to #73407

Reply to #73456×

You can not use Wiki syntax
You are not logged in. To discriminate your posts from the rest, you need to pick a nickname. (The uniqueness of nickname is not reserved. It is possible that someone else could use the exactly same nickname. If you want assurance of your identity, you are recommended to login before posting.) Login

Re: バックスペースで空行を除去できない (2014-06-16 21:43 by Frankie #73481)

解説ありがとうございます.やっと,理解できました.

修正版はのんびりとお待ちしてます.
Reply to #73456

Reply to #73481×

You can not use Wiki syntax
You are not logged in. To discriminate your posts from the rest, you need to pick a nickname. (The uniqueness of nickname is not reserved. It is possible that someone else could use the exactly same nickname. If you want assurance of your identity, you are recommended to login before posting.) Login