GithubHelp home page GithubHelp logo

Comments (2)

minad avatar minad commented on July 19, 2024 1

@hmelman I generalized consult-after-jump-function to consult-after-jump-hook - this is actually nice since it is more aligned with the xref hooks.

from consult.

minad avatar minad commented on July 19, 2024

Thank you for the input! I think it is better not to introduce an unnecessary dependency here. You can overwrite the consult-after-jump-function with a lambda which runs the corresponding xref hook. Since the consult-after-jump-function is used for the preview, it is crucial that it only performs benign operations - we cannot guarantee this if we execute the xref hooks instead. The priority is on correctness and robustness over minor conveniences during configuration. The package is explicitly designed such that it will require configuration, e.g., for the keybindings. Furthermore I may introduce a boolean argument to the consult-after-jump-function at some point such that the function can distinguish between jumps during preview and the final jump after selection.

I looked before if there are ways on how to integrate xref with consult, but I have to do a bit more digging - if you have ideas, please let me know!

from consult.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.