• Jehan's avatar
    app: make the "Automatic closure" a settings of its own. · d3686fdb
    Jehan authored
    This is the same thing as setting the max gap length to 0, except that
    it would mean constantly having to play with the gap length and possibly
    losing settings you carefully tweaked. Instead with this additional
    settings, we hide the gap length settings when automatic closure is
    Also it makes kind of a nice parallel with the "Manual closure" settings
    which can also be enabled/disabled similarly.