mirror of
https://github.com/easy-wi/developer.git
synced 2025-02-20 11:23:28 +08:00
Merge branch 'master' of https://github.com/easy-wi/developer
This commit is contained in:
commit
84a2d2b523
@ -981,8 +981,8 @@ function showFileContextMenu(e,file,folder,isLin) {
|
||||
editableExts[14] = 'properties';
|
||||
editableExts[15] = 'example';
|
||||
editableExts[16] = 'yml';
|
||||
editableExts[16] = 'yaml';
|
||||
editableExts[17] = 'json';
|
||||
editableExts[17] = 'yaml';
|
||||
editableExts[18] = 'json';
|
||||
|
||||
globalContextHeight=12; // top and bottom padding
|
||||
// Set function for paste
|
||||
|
Loading…
x
Reference in New Issue
Block a user