Processing pasted tabs

avis · July 6, 2021, 3:15pm

I have ‘Indent Unit’ set to 4 in Inkdrop and TAB is entered as Space x 4.

However, when I copy and paste a code snippet from another editor, the tab does not expand into a space, but remains \t, which is Space x 2.

I have to readjust the indentation in Inkdrop every time.

I think it would be appropriate if pasted tabs were also rendered according to the ‘Indent Unit’.

Copy and paste code or documents that contain tabs.

craftzdog · July 7, 2021, 8:18am

Hey Avis,

Let me answer after the paternity break!

avis · July 7, 2021, 9:59am

Congratulations on that!
I’m not in a hurry, so it’s okay.

craftzdog · July 21, 2021, 1:54am

CodeMirror has an option tabSize: https://codemirror.net/doc/manual.html#option_tabSize
So, it’d be nice to support it instead of converting tabs into spaces.

avis · August 6, 2021, 3:51pm

Thank you for your answer.
Do you have any plans to support this in inkdrop?

craftzdog · August 9, 2021, 2:16am

I’m currently working on the mobile app.
You can specify it with init.js like so:

inkdrop.onEditorLoad(() => {
  var cm = inkdrop.getActiveEditorOrThrowError().cm
  cm.setOption('tabSize', 2)
})

avis · August 12, 2021, 4:14am

Thanks, that was very helpful.
I am now able to adjust the CodeMirror settings.

I no longer need to rework the snippet after I put it up.

However, it doesn’t match the settings in Inkdrop, so hopefully this will be improved someday.

craftzdog · August 17, 2021, 4:03am

Yes, it’ll be supported in the next release!

craftzdog · September 2, 2021, 5:28am

It’s now supported in v5.4.0