|
932a12b66e
|
update document panel in pandora_finddocuments
|
2019-08-15 14:45:49 +02:00 |
|
|
9a6b9a0bbb
|
don't reload filters, fixes #3225
|
2019-08-02 11:44:31 +02:00 |
|
|
dbf740e55e
|
use .editorconfig
|
2018-06-19 08:33:26 +02:00 |
|
|
e1f35b1ec8
|
new documents section
|
2016-10-30 18:23:16 +01:00 |
|
rolux
|
374296d630
|
SYMBOLS.SHIFT -> SYMBOLS.shift
|
2014-09-25 21:56:19 +02:00 |
|
j
|
3ab0e4ba1e
|
use SplitPanel.toggleElement
|
2014-09-22 16:55:12 +02:00 |
|
j
|
e8e4639dce
|
wrap more strings
|
2014-02-14 15:23:59 +00:00 |
|
rolux
|
3b97b16c0a
|
fix main panel (pick correct right panel on section change)
|
2014-02-12 08:59:07 +00:00 |
|
j
|
dca703a4ee
|
allow data-name attribute in texts and use for navigation
|
2013-11-10 22:01:25 +00:00 |
|
j
|
a9b7738aa8
|
move js files from js/pandora to js, fixes #1366
|
2013-07-16 12:15:05 +00:00 |
|