class EIFFELDOC_OPTIONS
Summary
Overview
title: STRING
writable attribute
home_address: STRING
writable attribute
css: STRING
writable attribute
js: STRING
writable attribute
depends: BOOLEAN
writable attribute
wiki_prefix: STRING
writable attribute
generate_jsfile
effective procedure
generate_stylesheets
effective procedure
open_tabs (html: HTML_OUTPUT_STREAM)
effective procedure
add_tab (html: HTML_OUTPUT_STREAM, name: STRING, address: STRING)
effective procedure
close_tabs (html: HTML_OUTPUT_STREAM)
effective procedure
open_menu (html: HTML_OUTPUT_STREAM, name: STRING, selected: STRING)
effective procedure
add_menu_item (html: HTML_OUTPUT_STREAM, name: STRING, address: STRING)
effective procedure
close_menu (html: HTML_OUTPUT_STREAM)
effective procedure