190
190
p = dom_make_link_elem("p", "Browse",
191
191
"Navigate to this directory in the file browser",
193
193
else if (handler_type == "text")
194
194
p = dom_make_link_elem("p", "Edit", "Edit this file",
197
197
p = dom_make_link_elem("p", "Browse",
198
198
"View this file in the file browser",
200
200
sidepanel.appendChild(p);