Skip to content

Improve features list on website #2327

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

Closed
GuillaumeDesforges opened this issue Nov 3, 2021 · 4 comments · Fixed by #2603
Closed

Improve features list on website #2327

GuillaumeDesforges opened this issue Nov 3, 2021 · 4 comments · Fixed by #2603
Labels
type: enhancement New feature or request

Comments

@GuillaumeDesforges
Copy link

The current list of features on the website https://haskell-language-server.readthedocs.io/en/latest/features.html is not very welcoming for beginners, who find themselves digging even the most basic information.

IMO we could get some inspiration from https://scalameta.org/metals/docs/

  • table features vs editor support

  • list of features on a single page

    • clear and concise description
    • demo gif
    • known limitations
@jneira
Copy link
Member

jneira commented Nov 3, 2021

Wow that is a great example, many thanks for noting it, a pr inspired by will be very welcomed 🙂

@jneira
Copy link
Member

jneira commented Jan 19, 2022

@GuillaumeDesforges there is a pr (#2603) improving the features section a lot, good enough to close this issue, It would be great if you could take a look

@jneira jneira linked a pull request Jan 19, 2022 that will close this issue
@Anton-Latukha
Copy link
Collaborator

Anton-Latukha commented Jan 20, 2022

demo gif

Nota bene: How to do quality GIFs Unix-way (at the time of this code - there was no quality apps for it):

So the hardcore way is:
Screen capture on Linux (or on any system that uses X11 server) can be as simple as:
https://github.com/Anton-Latukha/fish-functions/blob/master/xgrab-pulse.fish

Capturing audio is not important.

Lossless (-crf 0) x264 video capturing of the whole desktop works pretty great. Lossless video compression works great on encoding computer interfaces. It is also possible to capture only a part of the screen through the coordinate system. Or crop the video afterward & keep output lossless. Something like -crf 20 can be used to enable lossy encoding, but lossy encoding can be more computationally demanding than lossless one.

After the video is produced, to convert video to GIF - the:
https://github.com/Anton-Latukha/fish-functions/blob/master/gifEnc.fish

can be used to produce a quality GIF. FPS 15 is mostly Ok standard for GIFs, the results of scale are self-explanatory.

If GIF is still too massive, the flags=lanczos enables the lossy-noisy type of algorithm that produces small GIFs, it is seen at: https://github.com/michaelpj/haskell-language-server/blob/mpj/features-doc/docs/features.md#make-import-lists-fully-explicit-1

@GuillaumeDesforges
Copy link
Author

@mergify mergify bot closed this as completed in #2603 Jan 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants