310:bbf4eb9a71f8 | 311:bf67e0ff7131 |
---|---|
82 request.setAttribute(Constants.REQ_ATTR_PAGE_TITLE, value) | 82 request.setAttribute(Constants.REQ_ATTR_PAGE_TITLE, value) |
83 } | 83 } |
84 | 84 |
85 /** | 85 /** |
86 * A list of additional style sheets. | 86 * A list of additional style sheets. |
87 * | 87 * TODO: remove this unnecessary attribute and merge all style sheets into one global |
88 * @see Constants#REQ_ATTR_STYLESHEET | 88 * @see Constants#REQ_ATTR_STYLESHEET |
89 */ | 89 */ |
90 var styleSheets = emptyList<String>() | 90 var styleSheets = emptyList<String>() |
91 set(value) { | 91 set(value) { |
92 field = value | 92 field = value |
124 field = value | 124 field = value |
125 if (value == null) { | 125 if (value == null) { |
126 request.removeAttribute(Constants.REQ_ATTR_REDIRECT_LOCATION) | 126 request.removeAttribute(Constants.REQ_ATTR_REDIRECT_LOCATION) |
127 } else { | 127 } else { |
128 request.setAttribute(Constants.REQ_ATTR_REDIRECT_LOCATION, baseHref + value) | 128 request.setAttribute(Constants.REQ_ATTR_REDIRECT_LOCATION, baseHref + value) |
129 } | |
130 } | |
131 | |
132 var feedPath: String? = null | |
133 set(value) { | |
134 field = value | |
135 if (value == null) { | |
136 request.removeAttribute(Constants.REQ_ATTR_FEED_HREF) | |
137 } else { | |
138 request.setAttribute(Constants.REQ_ATTR_FEED_HREF, baseHref + value) | |
139 } | 129 } |
140 } | 130 } |
141 | 131 |
142 /** | 132 /** |
143 * The view object. | 133 * The view object. |