• Zejun Wu's avatar
    Respect prompt in GhciSettings · 08b8ea2f
    Zejun Wu authored
    Summary:
    This was broken when PromptFunction was introduced that the settings are
    ignored and default values are always used.
    
    Test Plan: ./validate
    08b8ea2f
UI.hs 152 KB