if (script.contains(filter.toUpperCase()))
paginator.addLine("<a>" + scriptContainer.getContainerType().substring(0, 3) + " <b>" + script);
} else paginator.addLine("<a>" + scriptContainer.getContainerType().substring(0, 3) + " <b>" + script);
}
// Send the contents of the Paginator to the Player (or Console)
if (!paginator.sendPage(sender, args.getInteger(1, 1)))
throw new CommandException("The page " + args.getInteger(1, 1) + " does not exist.");
}
@Command(
aliases = { "notable" }, usage = "add",