mention wiki in keyboard shortcuts help

master
Andrew Dolgov 14 years ago
parent d4f46bc1fd
commit d4dcf8e922

@ -209,6 +209,7 @@
if (db_num_rows($result) == 1) {
$article_url = db_fetch_result($result, 0, 'link');
$article_url = str_replace("\n", "", $article_url);
header("Location: $article_url");
return;

@ -67,4 +67,6 @@
</td></tr></table>
<p><a target="_blank" href="http://tt-rss.org/wiki/InterfaceTips"><?php echo __("Other interface tips are available in the Tiny Tiny RSS wiki.") ?></a></p>
<p class="small"><?php echo __("Press any key to close this window.") ?></p>

@ -1160,6 +1160,14 @@ div#hotkey_help_overlay ul {
margin : 0px;
}
div#hotkey_help_overlay a {
color : #88b0f0;
}
div#hotkey_help_overlay a:hover {
color : white;
}
div#hotkey_help_overlay li {
margin : 0px;
}

@ -2090,8 +2090,9 @@ function postOpenInNewTab(event, id) {
function hlClicked(event, id) {
try {
if (!event.ctrlKey) {
if (event.altKey) {
openArticleInNewWindow(id);
} else if (!event.ctrlKey) {
view(id);
return true;
} else {

Loading…
Cancel
Save