void strings_null() {
    ThemeUI::tr("Bookmark Manager");
    ThemeUI::tr("Category");
    ThemeUI::tr("[x]");
    ThemeUI::tr("Name");
    ThemeUI::tr("URL");
    ThemeUI::tr("Category:");
    ThemeUI::tr("Find...");
    ThemeUI::tr("Name:");
    ThemeUI::tr("URL:");
    ThemeUI::tr("Cancel");
    ThemeUI::tr("Ok");
    ThemeUI::tr("Browser Command:");
    ThemeUI::tr("Text Size:");
}
