From 4fec7e73201ed50e4a4157cb1ea1f1c63566dd89 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Sun, 28 Feb 2016 16:49:17 +0200 Subject: Menu customization --- brep/options.cli | 31 +++++++++++++++++++++++++++---- 1 file changed, 27 insertions(+), 4 deletions(-) (limited to 'brep/options.cli') diff --git a/brep/options.cli b/brep/options.cli index 2da6718..986432a 100644 --- a/brep/options.cli +++ b/brep/options.cli @@ -2,6 +2,8 @@ // copyright : Copyright (c) 2014-2016 Code Synthesis Ltd // license : MIT; see accompanying LICENSE file +include ; + include ; include ; @@ -70,6 +72,27 @@ namespace brep } }; + class page + { + web::xhtml::fragment logo + { + "", + "Web page logo. It is displayed in the page header aligned to the left + edge. The value is treated as an XHTML5 fragment." + } + + vector menu; + { + "", + "Web page menu. Each entry is displayed in the page header in the order + specified and aligned to the right edge. A link target that starts + with \cb{/} or contains \cb{:} is used as is. Otherwise, it is prefixed + with the repository web interface root." + + // @@ Might need updating. + } + }; + class search { uint16_t search-results = 10 @@ -104,19 +127,19 @@ namespace brep // Module options. // - class package_search: search, db, module + class package_search: search, db, page, module { }; - class package_details: package, search, db, module + class package_details: package, search, db, page, module { }; - class package_version_details: package, db, module + class package_version_details: package, db, page, module { }; - class repository_details: db, module + class repository_details: db, page, module { }; -- cgit v1.1