<?php if ($_SESSION["uid"]) {
$theme = get_pref( "USER_CSS_THEME", $_SESSION["uid"], false);
if ($theme && theme_valid("$theme")) {
- echo stylesheet_tag("themes/$theme");
+ echo stylesheet_tag(get_theme_path($theme));
} else {
echo stylesheet_tag("themes/default.css");
}
<option value="marked"><?php echo __('Starred') ?></option>
<option value="published"><?php echo __('Published') ?></option>
<option value="unread"><?php echo __('Unread') ?></option>
- <option value="unread_first"><?php echo __('Unread First') ?></option>
<option value="has_note"><?php echo __('With Note') ?></option>
<!-- <option value="noscores"><?php echo __('Ignore Scoring') ?></option> -->
</select>
<?php } ?>
</div>
</div>
+
+ <button id="updatesIcon" dojoType="dijit.form.Button" style="display : none">
+ <img src="images/new_version.png" title="<?php echo __('Updates are available from Git.') ?>"/>
+ </button>
</div>
</div> <!-- toolbar -->
</div> <!-- toolbar pane -->