[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug-gv] [patch #6100] allow showing the filename instead of the documen
From: |
anonymous |
Subject: |
[bug-gv] [patch #6100] allow showing the filename instead of the document title |
Date: |
Mon, 16 Jul 2007 21:32:40 +0000 |
User-agent: |
ELinks/0.11.1-1.2-debian (textmode; Linux 2.6.18-4-k7 i686; 93x55-2) |
URL:
<http://savannah.gnu.org/patch/?6100>
Summary: allow showing the filename instead of the document
title
Project: GNU gv
Submitted by: None
Submitted on: Monday 07/16/2007 at 21:32 UTC
Category: None
Priority: 3 - Low
Status: None
Privacy: Public
Assigned to: None
Originator Email: address@hidden
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
this patch replaces the showTitle option with a titleStyle option,
which determines to show either no title, the document title (or filename if
there is none), or only the filename. Default is still the document title.
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Monday 07/16/2007 at 21:32 UTC Name: 95266_filename_as_title Size:
12kB By: None
<http://savannah.gnu.org/patch/download.php?file_id=13360>
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/patch/?6100>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug-gv] [patch #6100] allow showing the filename instead of the document title,
anonymous <=