zwz

[FEATURE] Improved matrix editing UI

9

I am quite new to mathlive. And I find it not intuitive and user-friendly to do matrix editing, such as 1. adding a column (I get it done by memorizing...

Once the content overflows, it would make the sidebar scroll together without this style setting. Or one has to wrap its content with an extra element and setting the style...

xecjk可否将英文中的’标点符号保留半角形式

7

这里是MWE ``` \documentclass{article} \usepackage{xeCJK} % 如果注释掉不使用xeCJK，pdf效果是想要的 \title{Children’s Cognitive Ability} \begin{document} \maketitle \end{document} ``` 最终排版效果中`’`会变成全角符号（不使用xecjk的化，结果还是半角形式） 因为是在英文字母中间，这个全角符号会很突兀，非常难看

Nodejs 5.0 requires cordova 5.4.0. So I just update cordova to 5.4.0 and reinstall (rm and then add) this plugin. It reports: The module "ConfigParser" has been factored into "cordova-common"....

I hope sveno can convert apps written in typescript.

no response for a few seconds after input "~/."

2

When trying lusty-file-explorer to open dot files (e.g. ".emacs"), I have to wait for some seconds for a list of candidates. It happens only once when it is the first...

I have a file with filename in Chinese `主界面.png`. I add it into a zip file with adm-zip. And then with `zip.readFile(entry.entryName)`, it reports error ``` Error: invalid distance too...

The zip data is not the same with `toBuffer` and `writeZip` when there are unicode characters in the file names

1

Here is my code: ``` const zipfile = new AdmZip(); zipfile.addLocalFile('test.txt'); ... // add other local files zipfile.writeZip('test.zip'); var buf = fs.readFileSync('test.zip') zipfile.toBuffer(function(buffer){ if(buf.toString() != buffer.toString()){ console.log('Error, not the same!!!!!')...

Wrong disk info on windows

3

Here is what I tried: > for(const disk of disks){ ... console.log(disk) ... console.log(disk.filesystem) ... } Drive { _filesystem: 'Local Fixed Disk', _blocks: 0, _used: 0, _available: 0, _capacity: '0%',...

How to track the mouse position when dragging

3

I want to track the mouse position so as to draw a line from the original position to the current position when dragging. I tried `transformDraggedElement` and add `mousemove` event...