text box in deck editor searches card text

src/magic/model/MagicCardDefinition.java

@@ -750,7 +750,8 @@ public class MagicCardDefinition {
 			fullName.toLowerCase().contains(s) ||
 			name.toLowerCase().contains(s) ||
 			subTypeHasText(s) ||
-			abilityHasText(s)
+			abilityHasText(s) ||
+			getText().toLowerCase().contains(s)
 		);
 	}
 

src/magic/ui/ExplorerFilterPanel.java

@@ -301,7 +301,7 @@ public class ExplorerFilterPanel extends TexturedPanel implements ActionListener
 			return false;
 		} */
 		
-		// name search
+		// search text in name, abilities, type, text, etc.
 		final String filterString = nameTextField.getText();
 		if (filterString.length() > 0) {
 			final String[] filters = filterString.split(" ");