Panel auto hide option, for when there is nothing to show

lib/ide-haskell.coffee

@@ -53,6 +53,11 @@ module.exports = IdeHaskell =
       '''
       enum: ['bottom', 'left', 'top', 'right']
 
+    panelAutoHide:
+      type: "boolean"
+      default: false
+      description: "Hide panel when there are no messages to show"
+
   cleanConfig: ->
     [ 'onSaveCheck'
     , 'onSaveLint'

lib/output-panel/output-panel.coffee

@@ -28,6 +28,12 @@ class OutputPanel
     else
       @panel.show()
 
+  hide: ->
+    @panel.hide()
+
+  show: ->
+    @panel.show()
+
   destroy: ->
     @disposables.dispose()
     @panel.destroy()

lib/plugin-manager.coffee

@@ -14,7 +14,9 @@ class PluginManager
     @controllers = new WeakMap
     @disposables.add @emitter = new Emitter
 
-    @disposables.add @onResultsUpdated ({types}) => @updateEditorsWithResults(types)
+    @disposables.add @onResultsUpdated ({types}) =>
+      @panelAutoHide() if atom.config.get('ide-haskell.panelAutoHide')
+      @updateEditorsWithResults(types)
 
     @createOutputViewPanel(state)
     @subscribeEditorController()
@@ -56,6 +58,12 @@ class PluginManager
   onResultsUpdated: (callback) =>
     @checkResults.onDidUpdate callback
 
+  panelAutoHide: ->
+    if @checkResults.results.length > 0
+      @outputView?.show()
+    else
+      @outputView?.hide()
+
   controller: (editor) ->
     @controllers?.get? editor