Closed cleary closed 1 year ago
new Ubuntu install and I'm struggling with the issue of the ghci pane appearing above my editing pane, this has reliably resolved the issue
new Ubuntu install and I'm struggling with the issue of the ghci pane appearing above my editing pane, this has reliably resolved the issue