Results 89 comments of Jingze Dai

@cbjeukendrup I feel if this is a question about choosing one option from binary choices: the mentioned unevenness and the changing width when changing tabs, then changing width is a...

Oh yes, sorry I misunderstand the mentioned problem. The padding is just a few pixels and it won't take much space (minimized effects).

> Also @daijingz, it's better to make any changes in a branch on your fork so that you don't need to "revert" your changes on your `master` branch, effectively removing...

Sorry everyone, there are some non-personal issues taking place on my PC, and I am going to go to repair stores tomorrow. I will get back tomorrow.

@samm82 Newest update: have built two reusable wiki page sentences. This modification has some naming problems, and I am checking. For the `foldlList`, I did not find some relevant code...

Up to now my PR has a lot of commits, do not worry, later I will `git rebase`.

> > For the `foldlList`, I did not find some relevant code sections in the same program file. There is an example in this program file, however, it was used...

@samm82 Today I realized that webpage text inconsistencies may become a problem, so I inspected the existing text in the website to find any possible improvement places. Scope: the whole...

@JacquesCarette Dr.Carette, can you provide more information?

@smiths I am still confused about which paper it is, because there are lots of publications inside the folder.