mj
transferred repository exyi/ksp-vm
to KSP/ksp-vm
2 weeks ago
mj commented on issue KSP/formatitko#59
Meziběhová kešNejdřív bych změřil, jak rychlý (pomalý?) ten KaTeX vlastně je. Aby nebyl rychlejší než ta keš :)
2 weeks ago
mj commented on pull request KSP/formatitko#55
Přidány namespaces pro obrázky, jak jsme se o nich bavili s @mjTo vypadá hezky!
2 months ago
mj commented on pull request KSP/formatitko#54
Experimental error handling with snippets of input for OutputGenerator.Hezké!
2 months ago
mj pushed to master at KSP/Hrochobot
- 885c397a16 Requirements should be also listed in setup.py
6 months ago
mj commented on issue KSP/formatitko#52
Podpora MermaiduSVGčka nejsou problém, ale spíš nevím, jestli chceme, aby Formatítko záviselo na další obří javascriptové obludě. Zvlášť když to je jen jeden z mnoha nástrojů, kterými občas…
7 months ago
mj commented on issue KSP/formatitko#22
Více různých generátorů TeXuPro nečíslované seznamy můžeš použít: ``` \list{o} \:první \:druhá \endlist ``` Případně pro vnořené pak `\list{O}` nebo něco podobného (viz komentář v…
7 months ago
mj commented on issue KSP/formatitko#21
Unifikovat handling jazyka s pandocem (možná support všech pandočích variables?)Mně právě přijde, že ten technický problém má jednoduché řešení, aspoň pokud se shodneme, že volání externích funkcí měnících stav kontextu má definováné chování jen před…
9 months ago
mj commented on issue KSP/formatitko#21
Unifikovat handling jazyka s pandocem (možná support všech pandočích variables?)Já si také představuji, že generátoru je jedno, co se s dokumentem dělo předtím. Takže ho zajímá *jaká* metadata v daném místě dokumentu existují, nikoliv *odkud* se tam vzala…
9 months ago
mj commented on issue KSP/formatitko#21
Unifikovat handling jazyka s pandocem (možná support všech pandočích variables?)> Ano, pak je to ta druhá varianta, co jsem navrhoval. Ne úplně – pořád půjde založit Group i vložením pod-dokumentu včetně metadat. Jen to asi nebude typický způsob. >…
9 months ago
mj commented on issue KSP/formatitko#21
Unifikovat handling jazyka s pandocem (možná support všech pandočích variables?)> Aha? To, že se děje? Pardon, chyba mezi židlí a monitorem. Čtu znovu, neděje. Odkládám :) > Mám obavu, že to může být trochu neintuitivní, pokud spany poměrně magicky mohou…
9 months ago
mj commented on issue KSP/formatitko#21
Unifikovat handling jazyka s pandocem (možná support všech pandočích variables?)Pardon, že odpovídám až teď, ale pořád jsem v tom neměl jasno... Vyřešil bych to drobným zobecněním kontextů. Kontext si představuji jako nějakou množinu metadat, definic…
9 months ago
mj commented on issue KSP/formatitko#13
Předělat generování výstupu> Stejná otázka, není mi moc jasné, proč z escapování dělat nějaké výjimky, nadměrné escapování nemůže uškodit, ne? U obojího především čitelnost vygenerovaného HTML. >…
9 months ago
mj commented on issue KSP/formatitko#19
Groups by mohly akceptovat (některá) metadata jako attributyNa text issue.
9 months ago
mj commented on issue KSP/formatitko#14
Menší problémkyJeště jedna věc ke stylu: Bylo by hezke, kdyby v třídách byly deklarované typy atributů, nebo aspoň na začátku vyjmenované, jaké atributy existují. Takhle občas nevycházím při…
9 months ago
mj commented on issue KSP/formatitko#19
Groups by mohly akceptovat (některá) metadata jako attributyTohle vypadá na rozbité formátování, opravíš ho prosím?
9 months ago
mj commented on issue KSP/formatitko#22
Více různých generátorů TeXuNapíšu generátor TeXu, který bude používat ucwmac na seznamy a spol. a nějaká další makra dodaná zvenku na nadpisy a podobné konstrukce.
9 months ago
mj commented on issue KSP/formatitko#13
Předělat generování výstupuPrvní dojem: Líbí se mi to. Zde je pár nápadů: - Je hezké, že se spousta typů ošetří voláním generické funkce ve stylu `generate_simple_inline_tag`, ale není mi jasné, proč se…
9 months ago
mj commented on issue KSP/formatitko#14
Menší problémkyVidíš, mně naopak přijde mnohem lepší to druhé, protože je zřetelněji odlišitelné, co je typ a co instance. Naopak mi přijde matoucí používat dlouhé identifikátory, které se liší…
9 months ago