76 var styleSheets = emptyList<String>() |
76 var styleSheets = emptyList<String>() |
77 set(value) { |
77 set(value) { |
78 field = value |
78 field = value |
79 request.setAttribute(Constants.REQ_ATTR_STYLESHEET, |
79 request.setAttribute(Constants.REQ_ATTR_STYLESHEET, |
80 value.map { it.withExt(".css") } |
80 value.map { it.withExt(".css") } |
|
81 ) |
|
82 } |
|
83 |
|
84 /** |
|
85 * A list of additional style sheets. |
|
86 * |
|
87 * @see Constants#REQ_ATTR_JAVASCRIPT |
|
88 */ |
|
89 var javascript = "" |
|
90 set(value) { |
|
91 field = value |
|
92 request.setAttribute(Constants.REQ_ATTR_JAVASCRIPT, |
|
93 value.withExt(".js") |
81 ) |
94 ) |
82 } |
95 } |
83 |
96 |
84 /** |
97 /** |
85 * The name of the navigation menu JSP. |
98 * The name of the navigation menu JSP. |