Tomas Antonio Lopez
|
0cd20c12ec
|
protege-distribution: extend desktop file for grouping
Specifying 'categories' allows Protege to be consistently grouped
inside application launcher submenus.
|
2021-06-26 13:18:59 +09:00 |
|
Tomas Antonio Lopez
|
810f43cd15
|
protege-distribution: auto-generate all icon sizes for theme hicolor
Previous iteration simply copied the upstream 128x128 .ico into the
icon search path; use icoFileToHiColorTheme to produce the complete
tree, instead.
|
2021-06-25 01:37:09 +09:00 |
|
Tomas Antonio Lopez
|
c6b756d7de
|
protege-distribution: rewrite patching mechanism
Part of the launcher script and configuration were patched via sed
commands; make the process clearer by using unified-style patches.
|
2021-06-25 01:10:37 +09:00 |
|
Tomas Antonio Lopez
|
39a4c60782
|
protege-distribution: init at 5.5.0
Protege Desktop distribution package with third-party plugins.
|
2021-06-19 04:03:18 +09:00 |
|