Visual Studio Code 插件编辑器

如何开发 VSCode 插件？

我曾经给 language-agda 提过一个 PR，改了它 comment 的 delimiter，这就是我对 VSCode 插件开发的所有知识了。

Colliot12/18/2017, 10:26:08 AM

预览:

其他地方

ice1000 回复了 JetBrains MPS 是干啥的？

还能插图片

ice1000 回复了 JetBrains MPS 是干啥的？

ice1000 回复了 JetBrains MPS 是干啥的？

比如弹幕编辑器，游戏关卡设计器，其实可以使用MPS简化开发流程的。

ice1000 回复了 JetBrains MPS 是干啥的？

教啊。主要还是结构化编辑器被了解的太少了

Colliot 回复了 JetBrains MPS 是干啥的？

@ice1000，但是会用 MPS 的人似乎比会编程的人还少，这怎么办？

ice1000 回复了这个发帖按钮真他妈难找

应该把标题改为： “教虎哥一点 Material Design ”。 (◐‿◑)

ice1000 回复了 JetBrains MPS 是干啥的？

虎哥为什么不回我。虎哥这些提问是在钓鱼吗。

ice1000 回复了 Git 的进阶使用方式是什么？

先用 IntelliJ IDEA 的可视化 git 。搞懂咋回事之后，去查对应的命令。

Colliot 回复了 $\int \dfrac{\mathrm{d}t}{(1-t^2)^2}$ 是多少？

这种思路是来自于部分分式分解。每个有理函数总是能化成「分母变成同样的项的乘方」的简单分式的和： frac{f(x)}{g(x)}=sum_i dfrac{a_i}{h_i(x)} 这样我们就可以查有理函数积分表来得到每一项的结果。

ice1000 回复了一个应用要支持 Java 9，要做什么改动？

主要是标准库的层级结构，这个非常、非常、非常 breaking 。以前的 jar 包，如果是没有 module-info.java 的话，还是能继续用的。因此我们可以复用 rt.jar 。反正还是懒。 JavaFX 的一个 MediaPlayer 在 Ubuntu 上的 bug 都是 Java 9 修复的。