annotation_dashboard/commit
ADDED: setting for dashboard home link
author | Jacco van Ossenbruggen |
---|---|
Tue Sep 23 11:23:36 2014 +0200 | |
committer | Jacco van Ossenbruggen |
Tue Sep 23 11:23:36 2014 +0200 | |
commit | d6e74a2b55b3db1bafd051cbe4737c1fbfda8275 |
tree | 2b5fa39f77e119dc920059e53b282ef63348139c |
parent | 8919b044caa14cd716d9d4879ae77c15bd8b3e5f |
Diff style: patch stat
diff --git a/components/dashboard/top_nav_bar.pl b/components/dashboard/top_nav_bar.pl index 5854b8f..42af61d 100644 --- a/components/dashboard/top_nav_bar.pl +++ b/components/dashboard/top_nav_bar.pl @@ -2,11 +2,17 @@ [ top_navbar//0 ]). +:- use_module(library(settings)). :- use_module(library(http/http_dispatch)). :- use_module(library(http/html_write)). +:- use_module(applications(dashboard_startpage)). +:- setting(annotation:dashboard_home, uri, http_dashboard_home, '"home" link used in the top navigation bar'). + top_navbar --> - { http_link_to_id(http_annotation, [], AnnotateLink) + { http_link_to_id(http_annotation, [], AnnotateLink), + setting(annotation:dashboard_home, HomePredicate), + http_link_to_id(HomePredicate, [], HomeLink) }, html( div([class('navbar navbar-inverse navbar-fixed-top'), @@ -21,7 +27,7 @@ top_navbar --> span([class('icon-bar')],[]) ]), a([class('navbar-brand'), - href('http://sealincmedia.wordpress.com/tag/accurator/') + href(HomeLink) ], ['Accurator for ', span([class(role)],['Curator'])]) ]),