Changeset f4c6a3db38b252de69e1eb1b882d87de5d4c00be

Show
Ignore:
Timestamp:
10/25/09 14:24:52 (4 years ago)
Author:
Benjamin Herr <ben@…>
git-author:
Benjamin Herr <ben@0x539.de> / 2009-01-16T22:37:03Z+0100
Parents:
63ca8047cee68d8fa40d41e4a02e1c38aad3726a
Children:
d96f21af85f2fb0eeb992b52e58b03c317bf0a49
git-committer:
Benjamin Herr <ben@0x539.de> / 2009-10-25T14:24:52Z+0100
Message:

htmlexport: added anchors to each line

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • code/commands/file-commands.cpp

    r63ca804 rf4c6a3d  
    241241                 unsigned int& line_counter) { 
    242242  users.clear(); 
    243   line_counter = 0; 
     243  line_counter = 1; 
    244244        xmlpp::Element* last_node = content; 
    245         last_node->add_child("span")->set_attribute("class", "line_no"); 
     245        xmlpp::Element* line_no = last_node->add_child("span"); 
     246        line_no->set_attribute("class", "line_no"); 
     247        line_no->set_attribute("id", "line_1"); 
    246248 
    247249        GtkTextBuffer* buffer = GTK_TEXT_BUFFER(document.get_text_buffer()); 
    … …  
    305307                                if (user) 
    306308                                        last_node = last_node->get_parent(); 
    307                                 last_node 
    308                                   ->add_child("span") 
    309                                   ->set_attribute("class", "line_no"); 
     309                                line_no = last_node->add_child("span"); 
     310                                line_no->set_attribute("class", "line_no"); 
     311                                line_no->set_attribute( 
     312                                  "id", 
     313                                  Glib::ustring::compose("line_%1", line_counter)); 
    310314                                if (user) { 
    311315                                        last_node = last_node->add_child("span");