The global search function might work but I would like to reply to this thread because I often can’t find where I’ve put one of my notes, therefore a simple “search card” function would be awesome:
void search(String token){
for (Card card : graph.getAllCards()) {
if (card.containsEqualIgnoreCase(token) {
card.select(); //highlight
screen.centerOn(card.getPosition());
}
}
}