Space Tools
| Name | Size | Creator | Creation Date | Last Modification Date | Labels | Attached To |
|---|---|---|---|---|---|---|
| reject1.png | 0.5 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| reject3.png | 0.5 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| reject2.png | 0.5 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| return_merge_result_button.png | 0.9 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| synchronize_zooming_button.png | 0.3 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| synchronize_scrolling_button.png | 0.3 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| print_diagram_button.png | 0.3 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| show-auxiliary-resources_button.png | 0.9 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| filter_button.png | 1.0 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| collapse_button.png | 1.0 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| expand_button_.png | 1.0 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| report_button.png | 0.3 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| options_button2.png | 0.6 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| select_context_element_button2.png | 0.4 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| validate.png | 0.4 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| advanced_button.png | 0.4 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| command-button.jpg | 40 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| lock_in_spec.png | 0.3 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| plus_button.png | 0.1 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons | |
| minus_button.png | 0.1 kB | Kristina B. | May 21, 2023 13:17 | May 21, 2023 13:17 | _buttons |
