Controller.java 文件源码

private void updateSnippetList() {
    if (availableSnippets.isEmpty()) {
        snippetList.setItems(FXCollections.emptyObservableList());
    } else {
        FilteredList<Snippet> filteredList = availableSnippets.filtered(
                s -> s.getId().toLowerCase().contains(snippetFilter.getText().toLowerCase()));
        snippetList.setItems(new SortedList<>(filteredList));
    }

    updateInfoPane();
}