| 摘要 |
PROBLEM TO BE SOLVED: To provide a method and a device for managing a World Wide Web document in a data processing system. SOLUTION: The graphical printing technique, with which a user can control a display form of a web page, is provided. In a first embodiment, the data processing system makes a new document, including a header, a trailer and a selected part from a first document under control of a program, in reply to a command from the user to display the selected part of the first document. In a second embodiment, the data processing system makes a copy of the first document or inserts a font tag in the copy of the document, so as to change the font size of the selected part of the first document, in reply to the command from the user. In a third embodiment, the data processing system makes the copy of the first document and inserts a page separation mark in the copy displayed to the user, so as to display the first document with the page separation mark, in replay to the command from the user. |
