update to 0.1.3

CHANGELOG.md

@@ -6,6 +6,8 @@ Check [Keep a Changelog](http://keepachangelog.com/) for recommendations on how
 
 ## [Unreleased]
 
+## [0.1.3]
+
 - fix typo
 - use absolute path for GHCi
 - add activation event (in a stack project)

src/config.ts

@@ -1,5 +1,4 @@
 import * as vscode from 'vscode';
-import * as option from './option';
 
 export type Config = {
     stackPath: string,
@@ -9,14 +8,11 @@ export type Config = {
 
 export function getConfig(): Config {
     const config = vscode.workspace.getConfiguration();
-    function getConfOption<T>(name: string, def: T): T {
-        return option.option<T>(config.get(name)).orelse(def);
-    }
-    let stack = getConfOption("runner2.stackPath", "stack");
-    let repl = getConfOption("runner2.stackRepl", false);
+    let stack = config.get("runner2.stackPath", "stack");
+    let repl = config.get("runner2.stackRepl", false);
     return {
         stackPath: stack,
         ghciTool: repl ? (stack + " repl") : "ghci",
-        enableStackRun: getConfOption("runner2.stackRun", false)
+        enableStackRun: config.get("runner2.stackRun", false)
     };
 }

src/util.ts

@@ -6,8 +6,8 @@ export function resgisterStatButton(
     name: string,
     command: string,
     align = vscode.StatusBarAlignment.Left,
-    priority = 10) {
-
+    priority = 10
+) {
     let stat = vscode.window.createStatusBarItem(align, priority);
     stat.text = name;
     stat.command = command;
@@ -18,9 +18,9 @@ export function resgisterStatButton(
 // create a terminal and send command
 export function registerSimplTerm(context: vscode.ExtensionContext, command: string, name: string, cmd: string) {
     context.subscriptions.push(vscode.commands.registerCommand(command, () => {
-        let t = vscode.window.createTerminal(name);
-        t.sendText(cmd);
-        t.show();
+        let term = vscode.window.createTerminal(name);
+        term.sendText(cmd);
+        term.show();
     }));
 }