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

Document UI basics with GIFs #428

Closed
fonsp opened this issue Sep 14, 2020 · 10 comments
Closed

Document UI basics with GIFs #428

fonsp opened this issue Sep 14, 2020 · 10 comments
Labels
documentation good first issue Good for newcomers help welcome If you are experienced in this topic - let us know!

Comments

@fonsp
Copy link
Owner

fonsp commented Sep 14, 2020

How do I:

  • move a cell?
  • delete a cell?
  • see the cell's runtime?
  • go to the main menu?
  • etc
@fonsp fonsp added documentation help welcome If you are experienced in this topic - let us know! good first issue Good for newcomers labels Sep 14, 2020
@fonsp
Copy link
Owner Author

fonsp commented Sep 14, 2020

The wiki of this repository can be edited by anyone! Feel free to give it a shot

@Dsantra92
Copy link

Can I work on this issue?

@fonsp
Copy link
Owner Author

fonsp commented Sep 30, 2020

yep! You can edit the wiki directly:
https://github.com/fonsp/Pluto.jl/wiki

@Dsantra92
Copy link

Should I create a new Demo Page and link it to the front page of the wiki ?

@fonsp
Copy link
Owner Author

fonsp commented Oct 15, 2020

Sounds great!

@Dsantra92
Copy link

I am finally done with with the docs. Unfortunately I cannot make a pr to the wiki because I don't have permission to create a commit on it. Editing from the page is difficult because I need to create a separate folder for the GIFs.

@fonsp
Copy link
Owner Author

fonsp commented Nov 19, 2020

Oh that's great, thank you!

You should be able to edit the page using the web interface, right? For the GIFs, it would be best if you paste them into this issue, like so:

golden_svd

which upload the GIF (uncompressed) to GitHub's servers, and inserts the link. Get that link from the markdown, in my case:

https://user-images.githubusercontent.com/6933510/99677819-6d1e2180-2a7a-11eb-9438-c93f6c87dc3f.gif

And you can use this link anywhere. GitHub will host this image for as long as it exists, under the same link.

Let me know if this works! I can also do the commit myself, but I would like this to be possible for other people in the same situation (and I want to have another contributor in the list! 💕)

@Dsantra92
Copy link

I am sorry about some of the full screen GIFs. Some of them have occasional small margin around it, it is because of the tiling window manager I use. I hope that will not be a problem.

@fonsp
Copy link
Owner Author

fonsp commented Nov 24, 2020

It looks great, thank you!!

@fonsp fonsp closed this as completed Nov 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation good first issue Good for newcomers help welcome If you are experienced in this topic - let us know!
Projects
None yet
Development

No branches or pull requests

2 participants