fix: incorrect editor widget key calculation

[kittaakos]

Reviewers, please also see #1970 and #1971 before checking this PR.

Motivation

Avoid duplicate editor tabs when opening a sketch with no previously saved workbench layout.

Change description

This PR fixes the incorrect widget key calculation. Two different widget keys have been calculated for the same resource. For example, this forum post contains the log files and the widget layout. This is an extract that contains the relevant part:

"mainPanel": {
    "main": {
        "type": "tab-area",
        "widgets": [
            {
                "constructionOptions": {
                    "factoryId": "code-editor-opener",
                    "options": {
                        "counter": 0,
                        "kind": "navigatable",
                        "uri": "file:///c%3A/Users/Wim/Documents/Arduino/MaxMSP/double2float/double2float.0.1/double2float.0.1.ino"
                    }
                },
                "innerWidgetState": "{\"cursorState\":[{\"inSelectionMode\":false,\"selectionStart\":{\"lineNumber\":1,\"column\":1},\"position\":{\"lineNumber\":1,\"column\":1}}],\"viewState\":{\"scrollLeft\":0,\"firstPosition\":{\"lineNumber\":1,\"column\":1},\"firstPositionDeltaTop\":0},\"contributionsState\":{\"editor.contrib.folding\":{\"lineCount\":213,\"provider\":\"indent\",\"foldedImports\":false},\"editor.contrib.wordHighlighter\":false}}"
            },
            {
                "constructionOptions": {
                    "factoryId": "code-editor-opener",
                    "options": {
                        "counter": 1,
                        "kind": "navigatable",
                        "uri": "file:///c%3A/Users/Wim/Documents/Arduino/MaxMSP/double2float/double2float.0.1/double2float.0.1.ino"
                    }
                },
                "innerWidgetState": "{\"cursorState\":[{\"inSelectionMode\":false,\"selectionStart\":{\"lineNumber\":54,\"column\":3},\"position\":{\"lineNumber\":54,\"column\":3}}],\"viewState\":{\"scrollLeft\":0,\"firstPosition\":{\"lineNumber\":41,\"column\":1},\"firstPositionDeltaTop\":-9},\"contributionsState\":{\"editor.contrib.folding\":{\"lineCount\":213,\"provider\":\"indent\",\"foldedImports\":false},\"editor.contrib.wordHighlighter\":true}}"
            }
        ],
        "currentIndex": 1
    }
},

Two code editor widget IDs exist for the same resource: file:///c%3A/Users/Wim/Documents/Arduino/MaxMSP/double2float/double2float.0.1/double2float.0.1.ino, but the counter which is unused by IDE2, are different.

Other information

Closes #1791

Reviewer checklist

• PR addresses a single concern.
• The PR has no duplicates (please search among the Pull Requests before creating one)
• PR title and description are properly filled.
• Docs have been added / updated (for bug fixes / features)

[per1234]

Thanks Akos!

I really appreciate your excellent explanation of the problem and the setup you did to enable verification of the fix.