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;
</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>
margin : 0px;
}
+div#hotkey_help_overlay a {
+ color : #88b0f0;
+}
+
+div#hotkey_help_overlay a:hover {
+ color : white;
+}
+
div#hotkey_help_overlay li {
margin : 0px;
}
function hlClicked(event, id) {
try {
-
- if (!event.ctrlKey) {
+ if (event.altKey) {
+ openArticleInNewWindow(id);
+ } else if (!event.ctrlKey) {
view(id);
return true;
} else {