@@ -736,8 +736,8 @@ type Server(client: ILanguageClient) =
736736
737737 // Check if client supports InsertReplaceEdit
738738 clientSupportsInsertReplaceEdit <-
739- p.capabilitiesMap.ContainsKey( " textDocument.completion.completionItem.insertReplaceSupport" ) &&
740- p.capabilitiesMap.[ " textDocument.completion.completionItem.insertReplaceSupport" ]
739+ p.capabilitiesMap.ContainsKey( " textDocument.completion.completionItem.insertReplaceSupport" )
740+ && p.capabilitiesMap.[ " textDocument.completion.completionItem.insertReplaceSupport" ]
741741
742742 match p.initializationOptions with
743743 | Some opt ->
@@ -937,7 +937,7 @@ type Server(client: ILanguageClient) =
937937 |> ( fun l -> if List.isEmpty l then [ CK3Lang.English ] else l)
938938 |> List.map Lang.CK3
939939 | _, CK3 -> [ Lang.CK3 CK3Lang.English ]
940- | JsonValue.Array ( o: JsonValue array ), VIC3 ->
940+ | JsonValue.Array( o: JsonValue array ), VIC3 ->
941941 o
942942 |> Array.choose ( function
943943 | JsonValue.String s ->
@@ -949,7 +949,7 @@ type Server(client: ILanguageClient) =
949949 |> ( fun l -> if List.isEmpty l then [ VIC3Lang.English ] else l)
950950 |> List.map Lang.VIC3
951951 | _, VIC3 -> [ Lang.VIC3 VIC3Lang.English ]
952- | JsonValue.Array ( o: JsonValue array ), EU5 ->
952+ | JsonValue.Array( o: JsonValue array ), EU5 ->
953953 o
954954 |> Array.choose ( function
955955 | JsonValue.String s ->
@@ -1214,7 +1214,8 @@ type Server(client: ILanguageClient) =
12141214 }
12151215
12161216 member this.Completion ( p : CompletionParams ) =
1217- async { return completion gameObj p docs debugMode clientSupportsInsertReplaceEdit } |> catchError None
1217+ async { return completion gameObj p docs debugMode clientSupportsInsertReplaceEdit }
1218+ |> catchError None
12181219
12191220 member this.Hover ( p : TextDocumentPositionParams ) =
12201221 async {
@@ -1319,6 +1320,7 @@ type Server(client: ILanguageClient) =
13191320 member this.DocumentSymbols ( p : DocumentSymbolParams ) =
13201321 let createDocumentSymbol name detail range =
13211322 let range = convRangeToLSPRange range
1323+ let name = if String.IsNullOrWhiteSpace name then " unnamed" else name
13221324
13231325 { name = name
13241326 detail = detail
0 commit comments