Henning Dieterichs

Results 135 issues of Henning Dieterichs

First of all: Thanks so much for this nice tool! I use it a lot. It would be so nice if this tool is more optimized for single-time ad-hoc usage...

It would be useful if Draw.io diagrams could be exported or converted to PDF files.

enhancement
help wanted
I probably won't do it

Hi @hediet . Is setting a local configuration still supported, or is it covered by a different feature? I need to set a default style (connector type), I try to...

Currently, the scratchpad is lost when closing and reopening a diagram.

enhancement
help wanted
I probably won't do it soon

Currently, Draw.io handles all shortcuts in the webview. Those that are not handled, are automatically forwarded to VS Code and possibly handled there. This might lead to shortcut conflicts. Ultimatively,...

enhancement
help wanted
I probably won't do it soon
will do for sponsorship

I think this line: https://github.com/microsoft/vscode-textmate/blob/9157c7f869219dbaf9a5a5607f099c00fe694a29/src/grammar.ts#L147 should rather be this: ```ts collectSpecificDependencies(result, baseGrammar, baseGrammar, includedName, baseGrammar.repository); ``` Also, this line: https://github.com/microsoft/vscode-textmate/blob/9157c7f869219dbaf9a5a5607f099c00fe694a29/src/grammar.ts#L149 should be this: ```ts collectSpecificDependencies(result, baseGrammar, selfGrammar, includedName, selfGrammar.repository); ```...

bug

This line collects the dependencies of a relative reference: https://github.com/microsoft/vscode-textmate/blob/9157c7f869219dbaf9a5a5607f099c00fe694a29/src/grammar.ts#L139 However, it passes in the `patternRepository` of the current rule. `collectSpecificDependencies` then continues to use this `patternRepository` as new local...

bug

The pull request extension also has a drop down button, but it works a bit different than the commit drop down button. Maybe it makes sense to unify these two...

feature-request

I'm probably not going to create commutative diagrams any time soon. However, I think a VS Code extension that wraps this editor might be a good thing if you are...

extension