Logo Search packages:      
Sourcecode: djvulibre version File versions

void DjVuDocEditor::set_page_name ( int  page_num,
const GUTF8String name 
)

Changes the name of the page page_num# to name#. Refer to {DjVmDir} for the explanation of {IDs}, {names} and {titles}.

Definition at line 1308 of file DjVuDocEditor.cpp.

References DjVuDocument::get_pages_num(), page_to_id(), and set_file_name().

{
   DEBUG_MSG("DjVuDocEditor::set_page_name(), page_num='" << page_num << "'\n");
   DEBUG_MAKE_INDENT(3);

   if (page_num<0 || page_num>=get_pages_num())
      G_THROW( ERR_MSG("DjVuDocEditor.bad_page") "\t"+GUTF8String(page_num));

   set_file_name(page_to_id(page_num), name);
}


Generated by  Doxygen 1.6.0   Back to index