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

Left-side equations are indexed as well and can be smart-jumped to #783

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Left-side equations are indexed as well and can be smart-jumped to #783

wants to merge 5 commits into from

Commits on Aug 1, 2023

  1. Left-side equations are indexed as well and can be smart-jumped to

    Leonard committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    b94e716 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2024

  1. InputHandler::handle_key: fixed bug in handling Backspace on macOS

    @NightMachinery
    NightMachinery committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    16cd27c View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2024

  1. Merge branch 'ahrm:main' into main

    @strawMarmalade
    strawMarmalade authored Feb 12, 2024
    Configuration menu
    Copy the full SHA
    b3f72bd View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. Merge pull request #1 from NightMachinery/backspace_bug 

    InputHandler::handle_key: fixed bug in handling Backspace on macOS
    @strawMarmalade
    strawMarmalade authored Mar 13, 2024
    Configuration menu
    Copy the full SHA
    4ba2839 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Merge pull request #2 from ahrm/main 

    update
    @strawMarmalade
    strawMarmalade authored Jul 23, 2024
    Configuration menu
    Copy the full SHA
    0751204 View commit details
    Browse the repository at this point in the history