alefragnani
commented
2 years ago Hi @pitommasi ,
No, you can’t have two attributes on the same input. It must be two separate inputs. Probably two commands.
Open pitommasi opened 2 years ago
alefragnani
commented
2 years ago Hi @pitommasi ,
No, you can’t have two attributes on the same input. It must be two separate inputs. Probably two commands.
As the title says: I saved a file externally (had to merge it with another version) and the bookmarks are now all messed up. I can imagine it would be a common issue if you edit a file with another editor than VSCode or in an instance of VSCode where you don't have the bookmark plugin.
Maybe the simplest way to implement this might be an "edit line number" functionality? Like, now you can only edit the label, you can add a line number field in the edit mask?