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

Detexify in tool window #1731

Merged
merged 10 commits into from Jan 12, 2021
Merged

Detexify in tool window #1731

merged 10 commits into from Jan 12, 2021

Commits on Jan 7, 2021

  1. Add Detexify toolwindow

    slideclimb committed Jan 7, 2021
    Copy the full SHA
    78ca5e2 View commit details
    Browse the repository at this point in the history
  2. Add Detexify icon

    slideclimb committed Jan 7, 2021
    Copy the full SHA
    9eca4f2 View commit details
    Browse the repository at this point in the history
  3. Copy the full SHA
    ddb9838 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2021

  1. Copy the full SHA
    eb5100b View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2021

  1. Copy the full SHA
    d0af4bd View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2021

  1. Copy the full SHA
    d71626a View commit details
    Browse the repository at this point in the history
  2. Merge branch 'master' into detexify

    # Conflicts:
    #	src/nl/hannahsten/texifyidea/inspections/latex/LatexMissingLabelInspection.kt
    PHPirates committed Jan 12, 2021
    Copy the full SHA
    5c6a0fc View commit details
    Browse the repository at this point in the history
  3. Formatting

    PHPirates committed Jan 12, 2021
    Copy the full SHA
    9ce6dd6 View commit details
    Browse the repository at this point in the history
  4. Copy the full SHA
    c463fc1 View commit details
    Browse the repository at this point in the history
  5. Copy the full SHA
    ccefd73 View commit details
    Browse the repository at this point in the history