Jinxuan Zhu

Results 22 comments of Jinxuan Zhu

I think having an universal construction is a good reason for defining a type class. I feel the Geometry is a bit too trivial for the example. I think a...

I think we shall pass packageDependencies somewhere in ghci.nix

@nmattia I think we just need to add dependency in https://github.com/nmattia/snack/blob/069f7d01fbb2400b8f8bd43dbff16478e3cd4d0e/snack-lib/ghci.nix#L33 But I do not how to find document of nix functions as writeScriptBin and makeWrapper. Can I know where...

@teh , @jml Great. I will do that change after #205 is finished.

I have just tested it in another plugin, find that `change.snapshotSelection()` helps restoring the selection before `removeNode` or `replaceNode`. I can submit a PR when I have time~

@Soreine just wondering would you have time about https://github.com/GitbookIO/slate-edit-table/pull/63 to resolve the selection issue?

可能一種選擇是參考 org mode 已有的循環任務語法,但是非常不好用因爲所有完成時間點都放在 drawer 中 我現在的方法是把循環任務放在 template 中,然後每天手動改成 TODO or LATER https://orgmode.org/manual/Repeated-tasks.html

Hi, I think we shall write Hyperlink parser like the LaTeX parser. The elements inside the [] shall be considered as `Text` rather than `Markup Text`

Like https://github.com/ixmatus/orgmode-parse/blob/master/src/Data/OrgMode/Parse/Attoparsec/Content/Markup.hs#L77-L84

@ixmatus I think we can guard that by typing. If we define ``` data Markup a = LaTeX Text ``` Then we will not need to worry about whether the...