Differentiate method/tymethod by determining 'defaultness'

Currently a method only has defaultness if it is a provided trait
method, but this will change when specialisation is available and may
need to become a concept known to hir.

I opted to go for a 'fewest changes' approach given specialisation is
still under development.

1 files changed, 1 insertions, 1 deletions

diff --git a/editors/code/src/commands.ts b/editors/code/src/commands.ts
index 24c2e196d..1445e41d3 100644
--- a/editors/code/src/commands.ts
+++ b/editors/code/src/commands.ts
@@ -425,7 +425,7 @@ export function openDocs(ctx: Ctx): Cmd {
         const client = ctx.client;
         const editor = vscode.window.activeTextEditor;
         if (!editor || !client) {
-            return
+            return;
         };
 
         const position = editor.selection.active;