Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Integrate Language Server Protocol functionality into Code Windows #751

Merged
merged 24 commits into from
Aug 2, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
250665d
LSP: Implement semantic token support for CodeWindows #686
falko17 Jun 29, 2024
fc548ac
Add ReferenceEqualityComparer from .NET 5.x source code
falko17 Jul 17, 2024
3c99ae8
LSP: Implement diagnostic highlighting for code windows #686
falko17 Jul 17, 2024
3ec962a
Update to Unity 2022.3.38f1
falko17 Jul 18, 2024
3bf1387
Implement LSP hover info for code windows #686
falko17 Jul 19, 2024
134fc88
Resolve #728 (convert Markdown text to TextMeshPro rich tags)
falko17 Jul 20, 2024
72ba410
Convert MenuEntry to record
falko17 Jul 24, 2024
30976a5
Fix list menu entries not being removed properly
falko17 Jul 24, 2024
c56d39c
Merge successive empty lines when converting from Markdown #728
falko17 Jul 24, 2024
577fd95
Implement `ShowCodeForPath` static method
falko17 Jul 24, 2024
81c8b6b
Fix line marking in code windows
falko17 Jul 24, 2024
ed3ca02
Implement LSP code navigation features for code windows #686
falko17 Jul 24, 2024
5405989
Fix the LSP call hierarchy methods #686
falko17 Jul 26, 2024
5790071
Implement support for LSP call/type hierarchy in code windows #686
falko17 Jul 26, 2024
ff311ab
Implement timeout for DashboardRetriever
falko17 Jul 27, 2024
f0db058
Code Windows: Go to definition on ctrl+click #686
falko17 Jul 27, 2024
e911935
Replace Sprite icons with FA icons in menu entries
falko17 Jul 27, 2024
c8da4f6
Apply automated review comment suggestions
falko17 Jul 27, 2024
ad190b3
Added references to the interface methods implemented.
koschke Aug 2, 2024
42af37c
Fixed comment.
koschke Aug 2, 2024
272de5e
Upgraded to Unity version 2022.3.40f1.
koschke Aug 2, 2024
6d36549
Address review comments by @koschke for #751
falko17 Aug 2, 2024
10e8c88
Merge branch 'lsp-for-code-windows' of github.com:uni-bremen-agst/SEE…
koschke Aug 2, 2024
1d1099a
Added reference to the interface method implemented.
koschke Aug 2, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 9 additions & 4 deletions Assets/Resources/Materials/PortalSpriteMaterial.mat
Original file line number Diff line number Diff line change
Expand Up @@ -2,20 +2,24 @@
%TAG !u! tag:unity3d.com,2011:
--- !u!21 &2100000
Material:
serializedVersion: 6
serializedVersion: 8
m_ObjectHideFlags: 0
m_CorrespondingSourceObject: {fileID: 0}
m_PrefabInstance: {fileID: 0}
m_PrefabAsset: {fileID: 0}
m_Name: PortalSpriteMaterial
m_Shader: {fileID: 4800000, guid: f6846526bc14481aad2e5b443c928c65, type: 3}
m_ShaderKeywords:
m_Parent: {fileID: 0}
m_ModifiedSerializedProperties: 0
m_ValidKeywords: []
m_InvalidKeywords: []
m_LightmapFlags: 4
m_EnableInstancingVariants: 0
m_DoubleSidedGI: 0
m_CustomRenderQueue: 4000
stringTagMap: {}
disabledShaderPasses: []
m_LockedProperties:
m_SavedProperties:
serializedVersion: 3
m_TexEnvs:
Expand Down Expand Up @@ -55,6 +59,7 @@ Material:
m_Texture: {fileID: 0}
m_Scale: {x: 1, y: 1}
m_Offset: {x: 0, y: 0}
m_Ints: []
m_Floats:
- PixelSnap: 0
- _BumpScale: 1
Expand All @@ -76,6 +81,6 @@ Material:
m_Colors:
- _Color: {r: 1, g: 1, b: 1, a: 1}
- _EmissionColor: {r: 0, g: 0, b: 0, a: 1}
- _PortalMax: {r: -0.24699998, g: 0.511, b: 0, a: 0}
- _PortalMin: {r: -1.247, g: -0.489, b: 0, a: 0}
- _PortalMax: {r: -0.94397986, g: -1.8898091, b: 0, a: 0}
- _PortalMin: {r: -2.41602, g: -5.110191, b: 0, a: 0}
m_BuildTextureStacks: []
181 changes: 120 additions & 61 deletions Assets/Resources/Prefabs/UI/Button.prefab
Original file line number Diff line number Diff line change
Expand Up @@ -28,9 +28,9 @@ RectTransform:
m_LocalRotation: {x: -0, y: -0, z: -0, w: 1}
m_LocalPosition: {x: 0, y: 0, z: 0}
m_LocalScale: {x: 1, y: 1, z: 1}
m_ConstrainProportionsScale: 0
m_Children: []
m_Father: {fileID: 6586710328604211363}
m_RootOrder: 1
m_LocalEulerAnglesHint: {x: 0, y: 0, z: 0}
m_AnchorMin: {x: 0, y: 0}
m_AnchorMax: {x: 1, y: 1}
Expand Down Expand Up @@ -65,10 +65,11 @@ MonoBehaviour:
m_OnCullStateChanged:
m_PersistentCalls:
m_Calls: []
m_text: BUTTON
m_text: Button
m_isRightToLeft: 0
m_fontAsset: {fileID: 11400000, guid: 84dd14695854bbc43a5faa24fcf93d0d, type: 2}
m_sharedMaterial: {fileID: 21261991626553910, guid: 84dd14695854bbc43a5faa24fcf93d0d, type: 2}
m_sharedMaterial: {fileID: 21261991626553910, guid: 84dd14695854bbc43a5faa24fcf93d0d,
type: 2}
m_fontSharedMaterials: []
m_fontMaterial: {fileID: 0}
m_fontMaterials: []
Expand Down Expand Up @@ -144,7 +145,7 @@ GameObject:
m_Component:
- component: {fileID: 8426220730825732241}
- component: {fileID: 6175946636808426846}
- component: {fileID: 1531332202938432071}
- component: {fileID: 8382553333224995676}
m_Layer: 5
m_Name: Icon
m_TagString: Untagged
Expand All @@ -162,9 +163,9 @@ RectTransform:
m_LocalRotation: {x: 0, y: 0, z: 0, w: 1}
m_LocalPosition: {x: 0, y: 0, z: 0}
m_LocalScale: {x: 1, y: 1, z: 1}
m_ConstrainProportionsScale: 0
m_Children: []
m_Father: {fileID: 6586710328604211363}
m_RootOrder: 0
m_LocalEulerAnglesHint: {x: 0, y: 0, z: 0}
m_AnchorMin: {x: 0, y: 0.5}
m_AnchorMax: {x: 0, y: 0.5}
Expand All @@ -179,7 +180,7 @@ CanvasRenderer:
m_PrefabAsset: {fileID: 0}
m_GameObject: {fileID: 4744790295661001541}
m_CullTransparentMesh: 0
--- !u!114 &1531332202938432071
--- !u!114 &8382553333224995676
MonoBehaviour:
m_ObjectHideFlags: 0
m_CorrespondingSourceObject: {fileID: 0}
Expand All @@ -188,27 +189,87 @@ MonoBehaviour:
m_GameObject: {fileID: 4744790295661001541}
m_Enabled: 1
m_EditorHideFlags: 0
m_Script: {fileID: 11500000, guid: fe87c0e1cc204ed48ad3b37840f39efc, type: 3}
m_Script: {fileID: 11500000, guid: f4688fdb7df04437aeb418b961361dc5, type: 3}
m_Name:
m_EditorClassIdentifier:
m_Material: {fileID: 0}
m_Color: {r: 0.1764706, g: 0.25490198, b: 0.33333334, a: 1}
m_Color: {r: 1, g: 1, b: 1, a: 1}
m_RaycastTarget: 1
m_RaycastPadding: {x: 0, y: 0, z: 0, w: 0}
m_Maskable: 1
m_OnCullStateChanged:
m_PersistentCalls:
m_Calls: []
m_Sprite: {fileID: 21300000, guid: a8cc5f0db692cb24db144d85c01b6838, type: 3}
m_Type: 0
m_PreserveAspect: 1
m_FillCenter: 1
m_FillMethod: 4
m_FillAmount: 1
m_FillClockwise: 1
m_FillOrigin: 0
m_UseSpriteMesh: 0
m_PixelsPerUnitMultiplier: 1
m_text: '?'
m_isRightToLeft: 0
m_fontAsset: {fileID: 11400000, guid: 4ebb98a3c87fa521a888029274c92b79, type: 2}
m_sharedMaterial: {fileID: -8620075009897487826, guid: 4ebb98a3c87fa521a888029274c92b79,
type: 2}
m_fontSharedMaterials: []
m_fontMaterial: {fileID: 0}
m_fontMaterials: []
m_fontColor32:
serializedVersion: 2
rgba: 4278190080
m_fontColor: {r: 0, g: 0, b: 0, a: 1}
m_enableVertexGradient: 0
m_colorMode: 3
m_fontColorGradient:
topLeft: {r: 1, g: 1, b: 1, a: 1}
topRight: {r: 1, g: 1, b: 1, a: 1}
bottomLeft: {r: 1, g: 1, b: 1, a: 1}
bottomRight: {r: 1, g: 1, b: 1, a: 1}
m_fontColorGradientPreset: {fileID: 0}
m_spriteAsset: {fileID: 0}
m_tintAllSprites: 0
m_StyleSheet: {fileID: 0}
m_TextStyleHashCode: -1183493901
m_overrideHtmlColors: 0
m_faceColor:
serializedVersion: 2
rgba: 4294967295
m_fontSize: 30
m_fontSizeBase: 30
m_fontWeight: 400
m_enableAutoSizing: 0
m_fontSizeMin: 18
m_fontSizeMax: 72
m_fontStyle: 0
m_HorizontalAlignment: 2
m_VerticalAlignment: 512
m_textAlignment: 65535
m_characterSpacing: 0
m_wordSpacing: 0
m_lineSpacing: 0
m_lineSpacingMax: 0
m_paragraphSpacing: 0
m_charWidthMaxAdj: 0
m_enableWordWrapping: 1
m_wordWrappingRatios: 0.4
m_overflowMode: 0
m_linkedTextComponent: {fileID: 0}
parentLinkedComponent: {fileID: 0}
m_enableKerning: 1
m_enableExtraPadding: 0
checkPaddingRequired: 0
m_isRichText: 1
m_parseCtrlCharacters: 1
m_isOrthographic: 1
m_isCullingEnabled: 0
m_horizontalMapping: 0
m_verticalMapping: 0
m_uvLineOffset: 0
m_geometrySortingOrder: 0
m_IsTextObjectScaleStatic: 0
m_VertexBufferAutoSizeReduction: 0
m_useMaxVisibleDescender: 1
m_pageToDisplay: 1
m_margin: {x: 0, y: 0, z: 0, w: 0}
m_isUsingLegacyAnimationComponent: 0
m_isVolumetricText: 0
m_hasFontAssetChanged: 0
m_baseMaterial: {fileID: 0}
m_maskOffset: {x: 0, y: 0, z: 0, w: 0}
--- !u!1 &4918872672529199024
GameObject:
m_ObjectHideFlags: 0
Expand Down Expand Up @@ -238,9 +299,9 @@ RectTransform:
m_LocalRotation: {x: -0, y: -0, z: -0, w: 1}
m_LocalPosition: {x: 0, y: 0, z: 0}
m_LocalScale: {x: 1, y: 1, z: 1}
m_ConstrainProportionsScale: 0
m_Children: []
m_Father: {fileID: 6586710328604211363}
m_RootOrder: 2
m_LocalEulerAnglesHint: {x: 0, y: 0, z: 0}
m_AnchorMin: {x: 0, y: 0}
m_AnchorMax: {x: 1, y: 1}
Expand Down Expand Up @@ -308,10 +369,10 @@ GameObject:
m_Component:
- component: {fileID: 6586710328604211363}
- component: {fileID: 2917540488982011779}
- component: {fileID: 8210310399375922163}
- component: {fileID: 2539900339822752133}
- component: {fileID: 436568625700612899}
- component: {fileID: 6827147320954825169}
- component: {fileID: 5444878965105383002}
m_Layer: 5
m_Name: Button
m_TagString: Untagged
Expand All @@ -329,12 +390,12 @@ RectTransform:
m_LocalRotation: {x: 0, y: 0, z: 0, w: 1}
m_LocalPosition: {x: 0, y: 0, z: 0}
m_LocalScale: {x: 1, y: 1, z: 1}
m_ConstrainProportionsScale: 0
m_Children:
- {fileID: 8426220730825732241}
- {fileID: 7086379228738207378}
- {fileID: 6595404481868969509}
m_Father: {fileID: 0}
m_RootOrder: 0
m_LocalEulerAnglesHint: {x: 0, y: 0, z: 0}
m_AnchorMin: {x: 0.5, y: 0.5}
m_AnchorMax: {x: 0.5, y: 0.5}
Expand All @@ -349,46 +410,6 @@ CanvasRenderer:
m_PrefabAsset: {fileID: 0}
m_GameObject: {fileID: 7702164899860693017}
m_CullTransparentMesh: 0
--- !u!114 &8210310399375922163
MonoBehaviour:
m_ObjectHideFlags: 0
m_CorrespondingSourceObject: {fileID: 0}
m_PrefabInstance: {fileID: 0}
m_PrefabAsset: {fileID: 0}
m_GameObject: {fileID: 7702164899860693017}
m_Enabled: 1
m_EditorHideFlags: 0
m_Script: {fileID: 11500000, guid: ddd611441fc6f1f4c9f714fcd4dcbeb3, type: 3}
m_Name:
m_EditorClassIdentifier:
buttonIcon: {fileID: 21300000, guid: a8cc5f0db692cb24db144d85c01b6838, type: 3}
buttonText: BUTTON
clickEvent:
m_PersistentCalls:
m_Calls: []
hoverEvent:
m_PersistentCalls:
m_Calls: []
hoverSound: {fileID: 0}
clickSound: {fileID: 0}
buttonVar: {fileID: 0}
normalImage: {fileID: 1531332202938432071}
normalText: {fileID: 7271999502370158117}
soundSource: {fileID: 0}
rippleParent: {fileID: 4918872672529199024}
useCustomContent: 0
enableButtonSounds: 0
useHoverSound: 1
useClickSound: 1
useRipple: 1
rippleUpdateMode: 1
rippleShape: {fileID: 21300000, guid: d25e2ce15dd1c67438e4b70f404fb197, type: 3}
speed: 2.4
maxSize: 6
startColor: {r: 0, g: 0, b: 0, a: 0.39215687}
transitionColor: {r: 0, g: 0, b: 0, a: 0}
renderOnTop: 0
centered: 0
--- !u!114 &2539900339822752133
MonoBehaviour:
m_ObjectHideFlags: 0
Expand Down Expand Up @@ -475,3 +496,41 @@ MonoBehaviour:
m_Script: {fileID: 11500000, guid: 52dd8aaa3b5d4058ac1b1e9242d35f57, type: 3}
m_Name:
m_EditorClassIdentifier:
--- !u!114 &5444878965105383002
MonoBehaviour:
m_ObjectHideFlags: 0
m_CorrespondingSourceObject: {fileID: 0}
m_PrefabInstance: {fileID: 0}
m_PrefabAsset: {fileID: 0}
m_GameObject: {fileID: 7702164899860693017}
m_Enabled: 1
m_EditorHideFlags: 0
m_Script: {fileID: 11500000, guid: 1a12ddbc47b17cd478cb447d1113a22b, type: 3}
m_Name:
m_EditorClassIdentifier:
buttonText: Button
clickEvent:
m_PersistentCalls:
m_Calls: []
hoverEvent:
m_PersistentCalls:
m_Calls: []
hoverSound: {fileID: 0}
clickSound: {fileID: 0}
buttonVar: {fileID: 0}
normalText: {fileID: 7271999502370158117}
soundSource: {fileID: 0}
rippleParent: {fileID: 4918872672529199024}
useCustomContent: 0
enableButtonSounds: 0
useHoverSound: 1
useClickSound: 1
useRipple: 1
rippleUpdateMode: 1
rippleShape: {fileID: 21300000, guid: d25e2ce15dd1c67438e4b70f404fb197, type: 3}
speed: 2.4
maxSize: 6
startColor: {r: 1, g: 1, b: 1, a: 1}
transitionColor: {r: 1, g: 1, b: 1, a: 0}
renderOnTop: 0
centered: 0
4 changes: 2 additions & 2 deletions Assets/Resources/Prefabs/UI/CodeWindowContent.prefab
Original file line number Diff line number Diff line change
Expand Up @@ -684,7 +684,7 @@ MonoBehaviour:
m_lineSpacingMax: 0
m_paragraphSpacing: 0
m_charWidthMaxAdj: 0
m_enableWordWrapping: 1
m_enableWordWrapping: 0
m_wordWrappingRatios: 0.413
m_overflowMode: 0
m_linkedTextComponent: {fileID: 0}
Expand Down Expand Up @@ -722,7 +722,7 @@ MonoBehaviour:
m_Script: {fileID: 11500000, guid: 3245ec927659c4140ac4f8d17403cc18, type: 3}
m_Name:
m_EditorClassIdentifier:
m_HorizontalFit: 0
m_HorizontalFit: 2
m_VerticalFit: 2
--- !u!1 &8823517661321162182
GameObject:
Expand Down
Loading
Loading