| Wed, 21 Dec 2022 15:34:33 +0100 |
wenzelm |
actually build document;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2022 11:30:24 +0100 |
wenzelm |
more thorough GUI updates, notably for multiple Document dockables;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2022 19:43:40 +0100 |
wenzelm |
more GUI operations;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2022 16:34:13 +0100 |
wenzelm |
clarified state document nodes for Theories_Status / Document_Dockable;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2022 13:59:07 +0100 |
wenzelm |
clarified state of document model vs. document editor selection (again, see also a9d52d02bd83);
|
file |
diff |
annotate
|
| Mon, 19 Dec 2022 12:58:18 +0100 |
wenzelm |
proper state change, e.g. on open/close of "Document" panel;
|
file |
diff |
annotate
|
| Mon, 19 Dec 2022 11:16:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 18 Dec 2022 15:49:37 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 08 Dec 2022 22:11:36 +0100 |
wenzelm |
maintain global state of document editor views, notably for is_active operation;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 17 Jun 2017 14:47:36 +0200 |
wenzelm |
maintain overlays within main state of document models;
|
file |
diff |
annotate
|
| Fri, 16 Jun 2017 15:59:27 +0200 |
wenzelm |
more general dispatcher operations;
|
file |
diff |
annotate
|
| Tue, 13 Jun 2017 21:15:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|