📄 header_select.jsp
字号:
<%
// depend on user login type, then display the difference header
if( (login.isUserLogin()) ) {
if( (staff.getUserType().equals("admin")) ) {
%> <jsp:include page="../common/header_admin.jsp" flush="true"/>
<% } else if( (staff.getUserType().equals("librarian")) ) {
%> <jsp:include page="../common/header_librarian.jsp" flush="true"/>
<% } else {
%> <jsp:include page="../common/header_borrower.jsp" flush="true"/>
<% }
} else {
%> <jsp:include page="../common/header_normal.jsp" flush="true"/>
<%
}
%>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -