</head> <body> <div class="misc-container"> <h1><?php printtext("settings_title");?></h1> <form method="post" enctype="multipart/form-data" autocomplete="off"> <div> <label for="theme"><?php printtext("settings_theme");?>:</label> <select name="theme"> <?php $default = $opts->default_theme ?? "dark"; $themes = str_replace($theme . """, $theme . "" target="_blank">" . ucfirst($frontend) . "</a>"; } ?> </div> </form> <?php fetch_search_results($opts, true); print_page_buttons($opts->type, $opts->query, $opts->page); ?> <?php require_once "misc/header.php"; require_once "misc/tools.php"; require_once "misc/search_engine.php"; // Reset all cookies when resetting, or before saving new cookies if (isset($_REQUEST["reset"])) { // Removing isset($_REQUEST["save"])) fixes the problem that settings don't "stick" if you want a dedicated gpu (because duh, gaming...) 4d ago speak hard 4d ago linus is hyped