Closed severen closed 8 years ago
'Haskell IDE -> Toggle completion hint panel' menu item. Although I should probably add an option to hide it by default.
1 сент. 2016 г. 5:29 AM пользователь "Severen Redwood" < notifications@github.com> написал:
How do I get rid of this bar at the bottom of the screen, there seems to be no option to disable it. [image: 4u8vALG] https://camo.githubusercontent.com/ea1db954fd7f52e762f622b93e9709f614cf6dd5/687474703a2f2f692e696d6775722e636f6d2f34753876414c472e706e67
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/atom-haskell/autocomplete-haskell/issues/14, or mute the thread https://github.com/notifications/unsubscribe-auth/AG8EZuUMya7OVShA_i2DWY5ZzdKxeBz3ks5qljiQgaJpZM4JyQP7 .
What is it for, anyway? I can't seem to figure out what it does.
It shows type of last autocompleted expression. E.g. if you autocomplete foldl
, it will look something like this:
See atom-haskell/ide-haskell#99 for background and discussion.
Shouldn't it be something that's in an ide-haskell type package?
I get the impression, and I imagine a lot of users do, that this package is simply an autocomplete-plus provider like most "autocomplete-" packages.
Regardless, I do think there should at least be a settings options that allows the user to disable it and its menu items.
At its core this package is still an ac+ provider. Completion hint panel was added as a band-aid for issue referenced above (although I found it very useful after the fact). Splitting completion hint panel into another package would add a whole lot of architectural and cognitive overhead with little to no tangible benefit.
I will add an option to control default visibility though, when I'm able.
Thanks :)
Option to control default visibility added in 0.6.7. Bear in mind that visibility state is saved per-project (or rather, per directory), so this option only affects visibility on "new" projects.
Is there a way to get rid of this bar at the bottom of the screen? There seems to be no option to disable it.