-
Przemyslaw Kaminski authored
This is better than watching whether ngramsParent is Nothing because subtrees could be edited as well.
de4da734
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| API.purs | ||
| AutoSync.purs | ||
| Loader.purs | ||
| Search.purs | ||
| SelectionCheckbox.purs | ||
| SyncResetButton.purs | ||
| Tree.purs |