// This is an automatically generated file
// Do not edit

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:");
    ThemeUI::tr("Enable plugins:");
    ThemeUI::tr("Find");
    ThemeUI::tr("Enable plugins");
    ThemeUI::tr("Web Page");
    ThemeUI::tr("Rating Settings");
    ThemeUI::tr("%DATE%, %TIME%");
    ThemeUI::tr("Web Bookmarks");
    ThemeUI::tr("Browse your favorite web sites.");
    ThemeUI::tr("Browser:");
    ThemeUI::tr("Enable browser plugins (Flash, etc):");
    ThemeUI::tr("Configure Web Browser");
    ThemeUI::tr("You can edit the name, URL, and category for the selected Web Site on this screen.\n\nWhen you have finished editing, select \"OK\" or \"Cancel\" to continue.");
    ThemeUI::tr("Genre:");
    ThemeUI::tr("Channel:");
    ThemeUI::tr("Click to choose from existing categories...");
    ThemeUI::tr("Webbrowser");
    ThemeUI::tr("Bookmarks");
    ThemeUI::tr("Url");
    ThemeUI::tr("Homepage");
    ThemeUI::tr("Edit Bookmark");
    ThemeUI::tr("Homepage:");
    ThemeUI::tr("Save");
    ThemeUI::tr("Browser Settings");
    ThemeUI::tr("Enable browser plugins (Flash, etc)");
}
