version 1.176, 2011/07/29 10:33:06
|
version 1.177, 2011/08/31 13:55:17
|
Line 919 class documentViewer(Folder):
|
Line 919 class documentViewer(Folder):
|
pageinfo ['highlightElementPos'] = self.REQUEST.get('highlightElementPos','') |
pageinfo ['highlightElementPos'] = self.REQUEST.get('highlightElementPos','') |
pageinfo ['highlightElement'] = self.REQUEST.get('highlightElement','') |
pageinfo ['highlightElement'] = self.REQUEST.get('highlightElement','') |
|
|
|
pageinfo ['xpointer'] = self.REQUEST.get('xpointer','') |
|
|
pageinfo['tocPageSize'] = self.REQUEST.get('tocPageSize', '30') |
pageinfo['tocPageSize'] = self.REQUEST.get('tocPageSize', '30') |
pageinfo['queryPageSize'] =self.REQUEST.get('queryPageSize', '10') |
pageinfo['queryPageSize'] =self.REQUEST.get('queryPageSize', '10') |