Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Disambiguate buffer names #29

Merged
merged 2 commits into from
Jul 15, 2019
Merged

Disambiguate buffer names #29

merged 2 commits into from
Jul 15, 2019

Commits on Jul 12, 2019

  1. Disambiguate buffer names 

    We keep track of buffer `head` and `tail`, which is basically the
directory and basename. We start off with just the `tail` as the buffer
`name`. If there are multiple occurrences of the same `name`, we prepend
`tail` with the last element from `head`. We keep using more and more
elements from `head` until all buffer names are unique. New buffers are
not included in the disambiguate process.
    @chunkhang
    chunkhang committed Jul 12, 2019
    Configuration menu
    Copy the full SHA
    670f6e7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into disambiguate-buffer

    @chunkhang
    chunkhang committed Jul 12, 2019
    Configuration menu
    Copy the full SHA
    a899d57 View commit details
    Browse the repository at this point in the history