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.

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

Fix/tabs #161

Merged
merged 6 commits into from
Feb 16, 2023
Merged

Fix/tabs #161

merged 6 commits into from
Feb 16, 2023

Commits on Feb 10, 2023

  1. word separators

    jun.zhou committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    f3d020a View commit details
    Browse the repository at this point in the history
  2. customize selection word separators

    jun.zhou committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    0095b47 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2023

  1. fix tab

    jun.zhou committed Feb 12, 2023
    Configuration menu
    Copy the full SHA
    1d504d3 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2023

  1. Add more comments

    xtyxtyx committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    a3cca7f View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    41b44ba View commit details
    Browse the repository at this point in the history
  3. Add test for TabStops

    xtyxtyx committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    f68802f View commit details
    Browse the repository at this point in the history