| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| Doc.js | File | 16.93 KB | 0644 | Edit | Rename | Chmod | Delete |
| change_measurement.js | File | 2.18 KB | 0644 | Edit | Rename | Chmod | Delete |
| changes.js | File | 11.94 KB | 0644 | Edit | Rename | Chmod | Delete |
| chunk.js | File | 5.23 KB | 0644 | Edit | Rename | Chmod | Delete |
| document_data.js | File | 4.17 KB | 0644 | Edit | Rename | Chmod | Delete |
| history.js | File | 8.13 KB | 0644 | Edit | Rename | Chmod | Delete |
| line_widget.js | File | 2.8 KB | 0644 | Edit | Rename | Chmod | Delete |
| mark_text.js | File | 10.96 KB | 0644 | Edit | Rename | Chmod | Delete |
| selection.js | File | 2.83 KB | 0644 | Edit | Rename | Chmod | Delete |
| selection_updates.js | File | 7.88 KB | 0644 | Edit | Rename | Chmod | Delete |