tooomm

>Imho nightly would be overkill, people would stumble upon little bugs we usually introduce and correct in a few days and would not be motivated to use the devel branch...

I think that's what the script needs to do: - Is there new code? - query GitHub Release API (commit of very latest (pre)release - `target_commitish`) - compare to master...

I don't quite get this. :) Do you suggest a second area to have filters that only apply to your deck? Do you talk about a search bar on top...

As I understand it... one further narrows the results of your search in deck editor. The other searches your deck for a certain card or filters for e.g. a certain...

>hmm, no it simply asks to use the main card filter input box to filter the decklist as well, @ebbit1q that's how i understand his explains of his request a...

I don't see how this is connected as #3763 asks for additional columns in the deck widget. It wants to to display more information about the cards in your **deck...

If somebody does a search he simply expects the "best" results on top, right? No matter of which sorting he might applied before (in a different context). I totally get...

As used to from other applications, a right click and edit/customise option or a little pencil icon in the corner to open a pop up to re-arrange and disable/enable certain...

Linking https://github.com/Cockatrice/Cockatrice/issues/865 and https://github.com/Cockatrice/Cockatrice/issues/4213

Difference is that I dump the extracted links from the xml file to md. And run the check against the md. I also provide a local xml file, not a...