Ruslan Kashinin
|
e2a88a2855
|
Fix for issue #676: title field not seem to be working with JSON profile
|
2023-04-09 18:01:41 +02:00 |
|
Ruslan Kashinin
|
468ef23c79
|
Fix for issue #676: title field not seem to be working with JSON profile
|
2023-04-03 01:17:02 +02:00 |
|
David Levanon
|
f387f4886c
|
set default profile from the json file
|
2020-09-24 15:19:58 +03:00 |
|
David Levanon
|
b669996180
|
prevent json layout and profile from being saved to the global config file
|
2020-09-24 13:39:48 +03:00 |
|
David Levanon
|
42b1915065
|
support ratio for terminals
|
2020-09-24 13:12:23 +03:00 |
|
David Levanon
|
130b0a0af1
|
adding profile to the layout file
fix layout examples - adding profile
refactor - changing layoutfile to configjson
|
2020-09-21 01:02:19 +03:00 |