--- /srv/reproducible-results/rbuild-debian/r-b-build.TMUXLlkb/b1/libgtkada_23.0.0-4_armhf.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.TMUXLlkb/b2/libgtkada_23.0.0-4_armhf.changes ├── Files │ @@ -1,7 +1,7 @@ │ │ 0a640c06f9c70f4cbbfb5ecb7d3a0781 30912 debug optional libgtkada-bin-dbgsym_23.0.0-4_armhf.deb │ d618333751864ed3eca90e8064a045f4 23348 devel optional libgtkada-bin_23.0.0-4_armhf.deb │ - 510f82d81ef494c3e796a158f623c9d5 1134784 doc optional libgtkada-doc_23.0.0-4_all.deb │ + ecf4bb2218dce66981e8f47c1648fade 1137364 doc optional libgtkada-doc_23.0.0-4_all.deb │ 80b4f52f37fb0a6a4d05ced17e30df6f 5033220 debug optional libgtkada22-dbgsym_23.0.0-4_armhf.deb │ 1ee5989b401636a51b3e053c3ce97eae 4734708 libdevel optional libgtkada22-dev_23.0.0-4_armhf.deb │ 4c04c2f19e5ce86e35443a9167725288 1857772 libs optional libgtkada22_23.0.0-4_armhf.deb ├── libgtkada-doc_23.0.0-4_all.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2023-05-10 22:25:12.000000 debian-binary │ │ -rw-r--r-- 0 0 0 2620 2023-05-10 22:25:12.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 1131972 2023-05-10 22:25:12.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 1134552 2023-05-10 22:25:12.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./control │ │ │ │ @@ -1,13 +1,13 @@ │ │ │ │ Package: libgtkada-doc │ │ │ │ Source: libgtkada │ │ │ │ Version: 23.0.0-4 │ │ │ │ Architecture: all │ │ │ │ Maintainer: Ludovic Brenta │ │ │ │ -Installed-Size: 1736 │ │ │ │ +Installed-Size: 1738 │ │ │ │ Depends: libjs-sphinxdoc (>= 5.2), sphinx-rtd-theme-common (>= 1.2.0+dfsg) │ │ │ │ Suggests: gnat │ │ │ │ Built-Using: sphinx (= 5.3.0-4) │ │ │ │ Section: doc │ │ │ │ Priority: optional │ │ │ │ Multi-Arch: foreign │ │ │ │ Homepage: https://github.com/AdaCore/gtkada │ │ │ ├── ./md5sums │ │ │ │ ├── ./md5sums │ │ │ │ │┄ Files differ │ ├── data.tar.xz │ │ ├── data.tar │ │ │ ├── file list │ │ │ │ @@ -4,15 +4,15 @@ │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2023-05-10 22:25:12.000000 ./usr/share/doc/ │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2023-05-10 22:25:12.000000 ./usr/share/doc/libgtkada-doc/ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 249 2022-09-29 10:11:58.000000 ./usr/share/doc/libgtkada-doc/AUTHORS │ │ │ │ -rw-r--r-- 0 root (0) root (0) 1975 2022-09-29 10:11:58.000000 ./usr/share/doc/libgtkada-doc/README.md │ │ │ │ -rw-r--r-- 0 root (0) root (0) 2166 2023-05-10 22:25:12.000000 ./usr/share/doc/libgtkada-doc/changelog.Debian.gz │ │ │ │ -rw-r--r-- 0 root (0) root (0) 5970 2023-05-10 22:24:00.000000 ./usr/share/doc/libgtkada-doc/copyright │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2023-05-10 22:25:12.000000 ./usr/share/doc/libgtkada-doc/examples/ │ │ │ │ --rw-r--r-- 0 root (0) root (0) 538449 2023-05-10 22:25:12.000000 ./usr/share/doc/libgtkada-doc/examples/testgtk.tgz │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 539862 2023-05-10 22:25:12.000000 ./usr/share/doc/libgtkada-doc/examples/testgtk.tgz │ │ │ │ -rw-r--r-- 0 root (0) root (0) 2181 2022-09-29 10:11:58.000000 ./usr/share/doc/libgtkada-doc/features-17 │ │ │ │ -rw-r--r-- 0 root (0) root (0) 3008 2022-09-29 10:11:58.000000 ./usr/share/doc/libgtkada-doc/features.old.gz │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2023-05-10 22:25:12.000000 ./usr/share/doc/libgtkada-doc/gtkada_ug/ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 420981 2023-05-10 22:25:12.000000 ./usr/share/doc/libgtkada-doc/gtkada_ug/GtkAda.pdf.gz │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2023-05-10 22:25:12.000000 ./usr/share/doc/libgtkada-doc/gtkada_ug/_images/ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 5240 2023-05-10 22:25:12.000000 ./usr/share/doc/libgtkada-doc/gtkada_ug/_images/boxes.png │ │ │ │ -rw-r--r-- 0 root (0) root (0) 74718 2022-09-29 10:11:58.000000 ./usr/share/doc/libgtkada-doc/gtkada_ug/_images/hierarchy.jpg │ │ │ ├── ./usr/share/doc/libgtkada-doc/examples/testgtk.tgz │ │ │ │ ├── testgtk.tgz-content │ │ │ │ │ ├── file list │ │ │ │ │ │ @@ -1,228 +1,228 @@ │ │ │ │ │ │ -drwxr-xr-x 0 0 0 0 2024-02-09 16:56:06.000000 testgtk/ │ │ │ │ │ │ --rw-r--r-- 0 0 0 5413 2024-02-09 16:56:05.000000 testgtk/create_about.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_assistant.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 475 2022-09-29 10:11:58.000000 testgtk/central.xml │ │ │ │ │ │ --rw-r--r-- 0 0 0 1927 2022-09-29 10:11:58.000000 testgtk/create_test_timeout.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 6379 2022-09-29 10:11:58.000000 testgtk/create_tree_filter.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1904 2022-09-29 10:11:58.000000 testgtk/create_revealer.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_text_view.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1932 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_composite.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1910 2022-09-29 10:11:58.000000 testgtk/create_button_box.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 299 2022-09-29 10:11:58.000000 testgtk/tree_minus.xpm │ │ │ │ │ │ --rw-r--r-- 0 0 0 1912 2022-09-29 10:11:58.000000 testgtk/create_status_icons.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 4816 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_edit.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 2456 2022-09-29 10:11:58.000000 testgtk/testgtk.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 3951 2022-09-29 10:11:58.000000 testgtk/Modeller.xpm │ │ │ │ │ │ --rw-r--r-- 0 0 0 2388 2022-09-29 10:11:58.000000 testgtk/testcairo_drawing.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1911 2022-09-29 10:11:58.000000 testgtk/create_menu.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1902 2022-09-29 10:11:58.000000 testgtk/create_canvas.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 6077 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_rtrees.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 11433 2022-09-29 10:11:58.000000 testgtk/create_combo_box.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1926 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_routes.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1911 2022-09-29 10:11:58.000000 testgtk/create_spin.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 11200 2022-09-29 10:11:58.000000 testgtk/create_ui_manager.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 2755 2022-09-29 10:11:58.000000 testgtk/gnome-calendar.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 1472 2022-09-29 10:11:58.000000 testgtk/perspectives.xml │ │ │ │ │ │ --rw-r--r-- 0 0 0 6195 2022-09-29 10:11:58.000000 testgtk/create_layout.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1904 2022-09-29 10:11:58.000000 testgtk/create_flow_box.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 21297 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_links.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 6084 2022-09-29 10:11:58.000000 testgtk/create_button_box.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 9608 2022-09-29 10:11:58.000000 testgtk/create_dialog.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 3636 2022-09-29 10:11:58.000000 testgtk/create_color_chooser.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1912 2022-09-29 10:11:58.000000 testgtk/create_link_buttons.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 2845 2022-09-29 10:11:58.000000 testgtk/test_rtree.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1913 2022-09-29 10:11:58.000000 testgtk/create_fixed.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 10213 2022-09-29 10:11:58.000000 testgtk/create_pixbuf.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1933 2022-09-29 10:11:58.000000 testgtk/create_color_selection.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 14090 2022-09-29 10:11:58.000000 testgtk/create_notebook.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 3572 2022-09-29 10:11:58.000000 testgtk/application.ui │ │ │ │ │ │ --rw-r--r-- 0 0 0 14108 2022-09-29 10:11:58.000000 testgtk/create_mdi.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 3705 2022-09-29 10:11:58.000000 testgtk/create_scrolled.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1922 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_edit.ads │ │ │ │ │ │ -drwxr-xr-x 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/task_project/ │ │ │ │ │ │ -drwxr-xr-x 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/task_project/obj/ │ │ │ │ │ │ --rw-r--r-- 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/task_project/obj/.gitignore │ │ │ │ │ │ -drwxr-xr-x 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/task_project/src/ │ │ │ │ │ │ --rw-r--r-- 0 0 0 2971 2022-09-29 10:11:58.000000 testgtk/task_project/src/task_worker.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 3087 2022-09-29 10:11:58.000000 testgtk/task_project/src/task_worker.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 150 2022-09-29 10:11:58.000000 testgtk/task_project/task_project.gpr │ │ │ │ │ │ --rw-r--r-- 0 0 0 6209 2022-09-29 10:11:58.000000 testgtk/create_status.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 2494 2022-09-29 10:11:58.000000 testgtk/create_cairo.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 9666 2022-09-29 10:11:58.000000 testgtk/create_clipboard.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1926 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_events.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 5923 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_animate.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 2016 2022-09-29 10:11:58.000000 testgtk/create_cairo.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_reparent.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 9444 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_routes.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1924 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_links.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 6879 2022-09-29 10:11:58.000000 testgtk/libart_demo.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 6994 2022-09-29 10:11:58.000000 testgtk/create_box.adb │ │ │ │ │ │ --rwxr-xr-x 0 0 0 2038 2022-09-29 10:11:58.000000 testgtk/global_exception_handler.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 4134 2022-09-29 10:11:58.000000 testgtk/create_selection.adb │ │ │ │ │ │ -drwxr-xr-x 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/obj/ │ │ │ │ │ │ --rw-r--r-- 0 0 0 7918 2022-09-29 10:11:58.000000 testgtk/create_label.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 2916 2022-09-29 10:11:58.000000 testgtk/gnome-foot.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 7470 2022-09-29 10:11:58.000000 testgtk/create_status_icons.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1898 2022-09-29 10:11:58.000000 testgtk/create_paned.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1916 2022-09-29 10:11:58.000000 testgtk/create_gtkada_builder.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1931 2022-09-29 10:11:58.000000 testgtk/create_file_selection.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 21535 2022-09-29 10:11:58.000000 testgtk/create_flow_box.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1898 2022-09-29 10:11:58.000000 testgtk/create_print.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 7237 2022-09-29 10:11:58.000000 testgtk/create_cell_view.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1906 2022-09-29 10:11:58.000000 testgtk/create_alignment.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1912 2022-09-29 10:11:58.000000 testgtk/create_application.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1917 2022-09-29 10:11:58.000000 testgtk/create_opacity.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 8739 2022-09-29 10:11:58.000000 testgtk/create_splittable.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1921 2022-09-29 10:11:58.000000 testgtk/create_main_loop.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1929 2022-09-29 10:11:58.000000 testgtk/create_gtkada_dialog.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 5173 2022-09-29 10:11:58.000000 testgtk/create_spinners.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_notebook.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 4603 2022-09-29 10:11:58.000000 testgtk/create_arrow.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 7896 2022-09-29 10:11:58.000000 testgtk/create_toolbar.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1930 2022-09-29 10:11:58.000000 testgtk/create_css_accordion.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 3578 2022-09-29 10:11:58.000000 testgtk/create_toggle_buttons.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 9095 2022-09-29 10:11:58.000000 testgtk/common.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1894 2022-09-29 10:11:58.000000 testgtk/create_dnd.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 6693 2022-09-29 10:11:58.000000 testgtk/create_gestures.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 2663 2022-09-29 10:11:58.000000 testgtk/create_calendar.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 2676 2022-09-29 10:11:58.000000 testgtk/create_file_selection.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_progress.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 4523 2022-09-29 10:11:58.000000 testgtk/create_alignment.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 5768 2022-09-29 10:11:58.000000 testgtk/create_reparent.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 4431 2022-09-29 10:11:58.000000 testgtk/create_link_buttons.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 4364 2022-09-29 10:11:58.000000 testgtk/create_opacity.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 4263 2022-09-29 10:11:58.000000 testgtk/gnome-gsame.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 1927 2022-09-29 10:11:58.000000 testgtk/create_font_chooser.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1904 2022-09-29 10:11:58.000000 testgtk/create_buttons.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 7912 2022-09-29 10:11:58.000000 testgtk/create_cursors.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 3229 2022-09-29 10:11:58.000000 testgtk/search_and_menu.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_combo_box.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1982 2022-09-29 10:11:58.000000 testgtk/create_mdi.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 6330 2022-09-29 10:11:58.000000 testgtk/create_color_selection.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1928 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_minimap.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1910 2022-09-29 10:11:58.000000 testgtk/create_splittable.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1900 2022-09-29 10:11:58.000000 testgtk/create_arrow.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1928 2022-09-29 10:11:58.000000 testgtk/create_file_chooser.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 6794 2022-09-29 10:11:58.000000 testgtk/create_print.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 370 2022-09-29 10:11:58.000000 testgtk/testgtk.css │ │ │ │ │ │ --rw-r--r-- 0 0 0 3901 2022-09-29 10:11:58.000000 testgtk/create_main_loop.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1902 2022-09-29 10:11:58.000000 testgtk/create_builder.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1894 2022-09-29 10:11:58.000000 testgtk/create_box.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 5327 2022-09-29 10:11:58.000000 testgtk/create_task_monitor.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 5500 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_minimap.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 31629 2022-09-29 10:11:58.000000 testgtk/create_canvas.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1928 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_animate.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_tree_view.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1913 2022-09-29 10:11:58.000000 testgtk/create_entry.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 10907 2022-09-29 10:11:58.000000 testgtk/create_progress.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 15983 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_items.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 22166 2022-09-29 10:11:58.000000 testgtk/testcairo_drawing.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1913 2022-09-29 10:11:58.000000 testgtk/create_range.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 3545 2022-09-29 10:11:58.000000 testgtk/apple-red.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_tooltips.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1900 2022-09-29 10:11:58.000000 testgtk/create_about.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 7728 2022-09-29 10:11:58.000000 testgtk/create_icon_view.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 6537 2022-09-29 10:11:58.000000 testgtk/create_test_idle.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1900 2022-09-29 10:11:58.000000 testgtk/create_sources.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 3410 2022-09-29 10:11:58.000000 testgtk/gnome-gimp.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 1946 2022-09-29 10:11:58.000000 testgtk/libart_demo.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 5389 2022-09-29 10:11:58.000000 testgtk/create_css_editor.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 10776 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_events.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 3244 2022-09-29 10:11:58.000000 testgtk/gnome-gmush.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 1915 2022-09-29 10:11:58.000000 testgtk/create_dialog.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 4361 2022-09-29 10:11:58.000000 testgtk/create_test_timeout.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 23505 2022-09-29 10:11:58.000000 testgtk/create_assistant.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1918 2022-09-29 10:11:58.000000 testgtk/create_cursors.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 8952 2022-09-29 10:11:58.000000 testgtk/create_spin.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 3808 2022-09-29 10:11:58.000000 testgtk/create_css_accordion.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_cell_view.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1904 2022-09-29 10:11:58.000000 testgtk/create_calendar.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 4255 2022-09-29 10:11:58.000000 testgtk/create_file_chooser.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 8443 2022-09-29 10:11:58.000000 testgtk/create_entry.adb │ │ │ │ │ │ -drwxr-xr-x 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/gtkextra/ │ │ │ │ │ │ --rw-r--r-- 0 0 0 1896 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1898 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_sheet.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 8597 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot_realtime.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 25626 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 6862 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot_3d.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1902 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot_3d.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1914 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot_realtime.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 53007 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_sheet.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 29 2022-09-29 10:11:58.000000 testgtk/.cvsignore │ │ │ │ │ │ --rw-r--r-- 0 0 0 347 2022-09-29 10:11:58.000000 testgtk/check-n.xpm │ │ │ │ │ │ --rw-r--r-- 0 0 0 11212 2022-09-29 10:11:58.000000 testgtk/create_menu.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1924 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_items.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 6035 2022-09-29 10:11:58.000000 testgtk/create_revealer.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 54936 2022-09-29 10:11:58.000000 testgtk/dancing-penguin.gif │ │ │ │ │ │ --rw-r--r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_icon_view.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1906 2022-09-29 10:11:58.000000 testgtk/create_selection.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1899 2022-09-29 10:11:58.000000 testgtk/create_layout.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 6014 2022-09-29 10:11:58.000000 testgtk/create_tooltips.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 4999 2022-09-29 10:11:58.000000 testgtk/create_range.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1898 2022-09-29 10:11:58.000000 testgtk/create_frame.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 3890 2022-09-29 10:11:58.000000 testgtk/create_buttons.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 3172 2022-09-29 10:11:58.000000 testgtk/create_radio_button.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1927 2022-09-29 10:11:58.000000 testgtk/create_task_monitor.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 347 2022-09-29 10:11:58.000000 testgtk/check-y.xpm │ │ │ │ │ │ --rw-r--r-- 0 0 0 1272 2022-09-29 10:11:58.000000 testgtk/refresh.svg │ │ │ │ │ │ --rw-r--r-- 0 0 0 3090 2022-09-29 10:11:58.000000 testgtk/gnome-applets.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 211 2022-09-29 10:11:58.000000 testgtk/gnat_debug.adc │ │ │ │ │ │ --rw-r--r-- 0 0 0 1904 2022-09-29 10:11:58.000000 testgtk/create_gestures.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 3138 2022-09-29 10:11:58.000000 testgtk/create_fixed.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1924 2022-09-29 10:11:58.000000 testgtk/create_css_editor.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_clipboard.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 2932 2022-09-29 10:11:58.000000 testgtk/css_accordion.css │ │ │ │ │ │ --rw-r--r-- 0 0 0 1931 2022-09-29 10:11:58.000000 testgtk/create_font_selection.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 19401 2022-09-29 10:11:58.000000 testgtk/lightning.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 2039 2022-09-29 10:11:58.000000 testgtk/test.xpm │ │ │ │ │ │ --rw-r--r-- 0 0 0 302023 2022-09-29 10:11:58.000000 testgtk/marble.xpm │ │ │ │ │ │ --rw-r--r-- 0 0 0 2883 2022-09-29 10:11:58.000000 testgtk/FilesQueue.xpm │ │ │ │ │ │ --rw-r--r-- 0 0 0 298 2022-09-29 10:11:58.000000 testgtk/tree_plus.xpm │ │ │ │ │ │ --rw-r--r-- 0 0 0 2571 2022-09-29 10:11:58.000000 testgtk/common.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1898 2022-09-29 10:11:58.000000 testgtk/create_stack.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1912 2022-09-29 10:11:58.000000 testgtk/create_size_groups.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 3718 2022-09-29 10:11:58.000000 testgtk/create_font_chooser.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 10028 2022-09-29 10:11:58.000000 testgtk/penguin.lwo │ │ │ │ │ │ --rwxr-xr-x 0 0 0 1970 2022-09-29 10:11:58.000000 testgtk/global_exception_handler.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1087 2022-09-29 10:11:58.000000 testgtk/gtkbuilder_custom_widget.xml │ │ │ │ │ │ --rw-r--r-- 0 0 0 4723 2022-09-29 10:11:58.000000 testgtk/create_paned.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 12463 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_composite.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 122669 2022-09-29 10:11:58.000000 testgtk/background.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 37511 2022-09-29 10:11:58.000000 testgtk/main_windows.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 4261 2022-09-29 10:11:58.000000 testgtk/create_frame.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 2003 2022-09-29 10:11:58.000000 testgtk/create_pixbuf.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_scrolled.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1921 2022-09-29 10:11:58.000000 testgtk/create_test_idle.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 33995 2022-09-29 10:11:58.000000 testgtk/alps.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 1910 2022-09-29 10:11:58.000000 testgtk/create_ui_manager.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 5875 2022-09-29 10:11:58.000000 testgtk/create_size_groups.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 4295 2022-09-29 10:11:58.000000 testgtk/menus.ui │ │ │ │ │ │ --rw-r--r-- 0 0 0 2417 2022-09-29 10:11:58.000000 testgtk/create_font_selection.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 10529 2022-09-29 10:11:58.000000 testgtk/create_sources.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 481 2022-09-29 10:11:58.000000 testgtk/README │ │ │ │ │ │ --rw-r--r-- 0 0 0 3431 2022-09-29 10:11:58.000000 testgtk/create_check_buttons.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1915 2022-09-29 10:11:58.000000 testgtk/create_status.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1929 2022-09-29 10:11:58.000000 testgtk/create_check_buttons.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 2294 2022-09-29 10:11:58.000000 testgtk/main_windows.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 2855 2022-09-29 10:11:58.000000 testgtk/gnome-textfile.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 3864 2022-09-29 10:11:58.000000 testgtk/create_stack.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 8980 2022-09-29 10:11:58.000000 testgtk/gtkbuilder_example.xml │ │ │ │ │ │ --rw-r--r-- 0 0 0 1931 2022-09-29 10:11:58.000000 testgtk/create_toggle_buttons.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1912 2022-09-29 10:11:58.000000 testgtk/create_tree_filter.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1926 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_rtrees.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_spinners.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 4008 2022-09-29 10:11:58.000000 testgtk/create_gtkada_dialog.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 8476 2022-09-29 10:11:58.000000 testgtk/create_text_view.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 16587 2022-09-29 10:11:58.000000 testgtk/create_tree_view.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 7017 2022-09-29 10:11:58.000000 testgtk/create_application.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1929 2022-09-29 10:11:58.000000 testgtk/create_color_chooser.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 1927 2022-09-29 10:11:58.000000 testgtk/create_radio_button.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 2104 2022-09-29 10:11:58.000000 testgtk/create_toolbar.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 3908 2022-09-29 10:11:58.000000 testgtk/3DRings.xpm │ │ │ │ │ │ --rw-r--r-- 0 0 0 1897 2022-09-29 10:11:58.000000 testgtk/create_label.ads │ │ │ │ │ │ --rw-r--r-- 0 0 0 35754 2022-09-29 10:11:58.000000 testgtk/create_dnd.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 3852 2022-09-29 10:11:58.000000 testgtk/gnu-keys.png │ │ │ │ │ │ --rw-r--r-- 0 0 0 13499 2022-09-29 10:11:58.000000 testgtk/create_builder.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 9309 2022-09-29 10:11:58.000000 testgtk/create_gtkada_builder.adb │ │ │ │ │ │ --rw-r--r-- 0 0 0 1479 2022-09-29 10:11:58.000000 testgtk/perspectives_indep.xml │ │ │ │ │ │ --rw-r--r-- 0 0 0 133 2022-12-27 00:33:58.000000 testgtk/testgtk.gpr │ │ │ │ │ │ +drwxrwxr-x 0 0 0 0 2024-02-09 18:15:52.000000 testgtk/ │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 11212 2022-09-29 10:11:58.000000 testgtk/create_menu.adb │ │ │ │ │ │ +drwxrwxr-x 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/gtkextra/ │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1902 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot_3d.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 53007 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_sheet.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1914 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot_realtime.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1896 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6862 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot_3d.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 25626 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 8597 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_plot_realtime.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1898 2022-09-29 10:11:58.000000 testgtk/gtkextra/create_sheet.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2456 2022-09-29 10:11:58.000000 testgtk/testgtk.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1930 2022-09-29 10:11:58.000000 testgtk/create_css_accordion.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 7728 2022-09-29 10:11:58.000000 testgtk/create_icon_view.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1894 2022-09-29 10:11:58.000000 testgtk/create_box.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 9666 2022-09-29 10:11:58.000000 testgtk/create_clipboard.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2855 2022-09-29 10:11:58.000000 testgtk/gnome-textfile.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1913 2022-09-29 10:11:58.000000 testgtk/create_fixed.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 35754 2022-09-29 10:11:58.000000 testgtk/create_dnd.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_assistant.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 23505 2022-09-29 10:11:58.000000 testgtk/create_assistant.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1928 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_minimap.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1926 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_events.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 29 2022-09-29 10:11:58.000000 testgtk/.cvsignore │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1898 2022-09-29 10:11:58.000000 testgtk/create_print.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2104 2022-09-29 10:11:58.000000 testgtk/create_toolbar.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1918 2022-09-29 10:11:58.000000 testgtk/create_cursors.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 9095 2022-09-29 10:11:58.000000 testgtk/common.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 347 2022-09-29 10:11:58.000000 testgtk/check-y.xpm │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1946 2022-09-29 10:11:58.000000 testgtk/libart_demo.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3808 2022-09-29 10:11:58.000000 testgtk/create_css_accordion.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6537 2022-09-29 10:11:58.000000 testgtk/create_test_idle.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1472 2022-09-29 10:11:58.000000 testgtk/perspectives.xml │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 10907 2022-09-29 10:11:58.000000 testgtk/create_progress.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1904 2022-09-29 10:11:58.000000 testgtk/create_calendar.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3229 2022-09-29 10:11:58.000000 testgtk/search_and_menu.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4261 2022-09-29 10:11:58.000000 testgtk/create_frame.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6209 2022-09-29 10:11:58.000000 testgtk/create_status.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1898 2022-09-29 10:11:58.000000 testgtk/create_frame.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 8476 2022-09-29 10:11:58.000000 testgtk/create_text_view.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3890 2022-09-29 10:11:58.000000 testgtk/create_buttons.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 7470 2022-09-29 10:11:58.000000 testgtk/create_status_icons.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2663 2022-09-29 10:11:58.000000 testgtk/create_calendar.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6035 2022-09-29 10:11:58.000000 testgtk/create_revealer.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1899 2022-09-29 10:11:58.000000 testgtk/create_layout.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4603 2022-09-29 10:11:58.000000 testgtk/create_arrow.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3951 2022-09-29 10:11:58.000000 testgtk/Modeller.xpm │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2494 2022-09-29 10:11:58.000000 testgtk/create_cairo.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2676 2022-09-29 10:11:58.000000 testgtk/create_file_selection.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_progress.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1900 2022-09-29 10:11:58.000000 testgtk/create_sources.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3578 2022-09-29 10:11:58.000000 testgtk/create_toggle_buttons.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6014 2022-09-29 10:11:58.000000 testgtk/create_tooltips.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1921 2022-09-29 10:11:58.000000 testgtk/create_main_loop.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4361 2022-09-29 10:11:58.000000 testgtk/create_test_timeout.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1904 2022-09-29 10:11:58.000000 testgtk/create_revealer.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 9309 2022-09-29 10:11:58.000000 testgtk/create_gtkada_builder.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1928 2022-09-29 10:11:58.000000 testgtk/create_file_chooser.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1912 2022-09-29 10:11:58.000000 testgtk/create_size_groups.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2883 2022-09-29 10:11:58.000000 testgtk/FilesQueue.xpm │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1922 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_edit.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2845 2022-09-29 10:11:58.000000 testgtk/test_rtree.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2039 2022-09-29 10:11:58.000000 testgtk/test.xpm │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3705 2022-09-29 10:11:58.000000 testgtk/create_scrolled.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1913 2022-09-29 10:11:58.000000 testgtk/create_range.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 37511 2022-09-29 10:11:58.000000 testgtk/main_windows.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 19401 2022-09-29 10:11:58.000000 testgtk/lightning.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4523 2022-09-29 10:11:58.000000 testgtk/create_alignment.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4816 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_edit.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1927 2022-09-29 10:11:58.000000 testgtk/create_test_timeout.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2003 2022-09-29 10:11:58.000000 testgtk/create_pixbuf.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4295 2022-09-29 10:11:58.000000 testgtk/menus.ui │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1931 2022-09-29 10:11:58.000000 testgtk/create_toggle_buttons.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1921 2022-09-29 10:11:58.000000 testgtk/create_test_idle.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 7896 2022-09-29 10:11:58.000000 testgtk/create_toolbar.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1906 2022-09-29 10:11:58.000000 testgtk/create_selection.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_spinners.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 9608 2022-09-29 10:11:58.000000 testgtk/create_dialog.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1906 2022-09-29 10:11:58.000000 testgtk/create_alignment.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 11200 2022-09-29 10:11:58.000000 testgtk/create_ui_manager.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6879 2022-09-29 10:11:58.000000 testgtk/libart_demo.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3244 2022-09-29 10:11:58.000000 testgtk/gnome-gmush.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1898 2022-09-29 10:11:58.000000 testgtk/create_paned.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 14108 2022-09-29 10:11:58.000000 testgtk/create_mdi.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 7017 2022-09-29 10:11:58.000000 testgtk/create_application.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6195 2022-09-29 10:11:58.000000 testgtk/create_layout.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1931 2022-09-29 10:11:58.000000 testgtk/create_file_selection.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1929 2022-09-29 10:11:58.000000 testgtk/create_gtkada_dialog.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3572 2022-09-29 10:11:58.000000 testgtk/application.ui │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2294 2022-09-29 10:11:58.000000 testgtk/main_windows.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1902 2022-09-29 10:11:58.000000 testgtk/create_builder.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 33995 2022-09-29 10:11:58.000000 testgtk/alps.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1917 2022-09-29 10:11:58.000000 testgtk/create_opacity.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 10213 2022-09-29 10:11:58.000000 testgtk/create_pixbuf.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1912 2022-09-29 10:11:58.000000 testgtk/create_application.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6379 2022-09-29 10:11:58.000000 testgtk/create_tree_filter.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1929 2022-09-29 10:11:58.000000 testgtk/create_check_buttons.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_notebook.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1928 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_animate.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2417 2022-09-29 10:11:58.000000 testgtk/create_font_selection.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_combo_box.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3545 2022-09-29 10:11:58.000000 testgtk/apple-red.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 347 2022-09-29 10:11:58.000000 testgtk/check-n.xpm │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2932 2022-09-29 10:11:58.000000 testgtk/css_accordion.css │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 5389 2022-09-29 10:11:58.000000 testgtk/create_css_editor.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1924 2022-09-29 10:11:58.000000 testgtk/create_css_editor.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3901 2022-09-29 10:11:58.000000 testgtk/create_main_loop.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1904 2022-09-29 10:11:58.000000 testgtk/create_gestures.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4255 2022-09-29 10:11:58.000000 testgtk/create_file_chooser.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4134 2022-09-29 10:11:58.000000 testgtk/create_selection.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 475 2022-09-29 10:11:58.000000 testgtk/central.xml │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_tooltips.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1911 2022-09-29 10:11:58.000000 testgtk/create_menu.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 31629 2022-09-29 10:11:58.000000 testgtk/create_canvas.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_reparent.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 22166 2022-09-29 10:11:58.000000 testgtk/testcairo_drawing.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1910 2022-09-29 10:11:58.000000 testgtk/create_ui_manager.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1933 2022-09-29 10:11:58.000000 testgtk/create_color_selection.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1900 2022-09-29 10:11:58.000000 testgtk/create_arrow.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 211 2022-09-29 10:11:58.000000 testgtk/gnat_debug.adc │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2755 2022-09-29 10:11:58.000000 testgtk/gnome-calendar.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3852 2022-09-29 10:11:58.000000 testgtk/gnu-keys.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2016 2022-09-29 10:11:58.000000 testgtk/create_cairo.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 5923 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_animate.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_clipboard.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 8980 2022-09-29 10:11:58.000000 testgtk/gtkbuilder_example.xml │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1915 2022-09-29 10:11:58.000000 testgtk/create_status.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1912 2022-09-29 10:11:58.000000 testgtk/create_tree_filter.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3636 2022-09-29 10:11:58.000000 testgtk/create_color_chooser.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6084 2022-09-29 10:11:58.000000 testgtk/create_button_box.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4999 2022-09-29 10:11:58.000000 testgtk/create_range.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1087 2022-09-29 10:11:58.000000 testgtk/gtkbuilder_custom_widget.xml │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1931 2022-09-29 10:11:58.000000 testgtk/create_font_selection.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1910 2022-09-29 10:11:58.000000 testgtk/create_button_box.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 298 2022-09-29 10:11:58.000000 testgtk/tree_plus.xpm │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 5768 2022-09-29 10:11:58.000000 testgtk/create_reparent.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_icon_view.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 10529 2022-09-29 10:11:58.000000 testgtk/create_sources.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1929 2022-09-29 10:11:58.000000 testgtk/create_color_chooser.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1924 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_links.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1927 2022-09-29 10:11:58.000000 testgtk/create_font_chooser.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2388 2022-09-29 10:11:58.000000 testgtk/testcairo_drawing.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1898 2022-09-29 10:11:58.000000 testgtk/create_stack.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4364 2022-09-29 10:11:58.000000 testgtk/create_opacity.adb │ │ │ │ │ │ +drwxrwxr-x 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/task_project/ │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 150 2022-09-29 10:11:58.000000 testgtk/task_project/task_project.gpr │ │ │ │ │ │ +drwxrwxr-x 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/task_project/src/ │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3087 2022-09-29 10:11:58.000000 testgtk/task_project/src/task_worker.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2971 2022-09-29 10:11:58.000000 testgtk/task_project/src/task_worker.ads │ │ │ │ │ │ +drwxrwxr-x 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/task_project/obj/ │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/task_project/obj/.gitignore │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 21297 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_links.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1927 2022-09-29 10:11:58.000000 testgtk/create_task_monitor.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1910 2022-09-29 10:11:58.000000 testgtk/create_splittable.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1272 2022-09-29 10:11:58.000000 testgtk/refresh.svg │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_cell_view.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 8739 2022-09-29 10:11:58.000000 testgtk/create_splittable.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1900 2022-09-29 10:11:58.000000 testgtk/create_about.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1924 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_items.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1915 2022-09-29 10:11:58.000000 testgtk/create_dialog.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1913 2022-09-29 10:11:58.000000 testgtk/create_entry.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1926 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_rtrees.ads │ │ │ │ │ │ +drwxrwxr-x 0 0 0 0 2022-09-29 10:11:58.000000 testgtk/obj/ │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 8952 2022-09-29 10:11:58.000000 testgtk/create_spin.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 7918 2022-09-29 10:11:58.000000 testgtk/create_label.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6693 2022-09-29 10:11:58.000000 testgtk/create_gestures.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3431 2022-09-29 10:11:58.000000 testgtk/create_check_buttons.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1904 2022-09-29 10:11:58.000000 testgtk/create_flow_box.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1897 2022-09-29 10:11:58.000000 testgtk/create_label.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 7912 2022-09-29 10:11:58.000000 testgtk/create_cursors.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3172 2022-09-29 10:11:58.000000 testgtk/create_radio_button.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 14090 2022-09-29 10:11:58.000000 testgtk/create_notebook.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3090 2022-09-29 10:11:58.000000 testgtk/gnome-applets.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1912 2022-09-29 10:11:58.000000 testgtk/create_link_buttons.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3908 2022-09-29 10:11:58.000000 testgtk/3DRings.xpm │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6330 2022-09-29 10:11:58.000000 testgtk/create_color_selection.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 10028 2022-09-29 10:11:58.000000 testgtk/penguin.lwo │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1982 2022-09-29 10:11:58.000000 testgtk/create_mdi.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1912 2022-09-29 10:11:58.000000 testgtk/create_status_icons.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 11433 2022-09-29 10:11:58.000000 testgtk/create_combo_box.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 12463 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_composite.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4431 2022-09-29 10:11:58.000000 testgtk/create_link_buttons.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3864 2022-09-29 10:11:58.000000 testgtk/create_stack.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1902 2022-09-29 10:11:58.000000 testgtk/create_canvas.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4723 2022-09-29 10:11:58.000000 testgtk/create_paned.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 122669 2022-09-29 10:11:58.000000 testgtk/background.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 7237 2022-09-29 10:11:58.000000 testgtk/create_cell_view.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_text_view.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 5327 2022-09-29 10:11:58.000000 testgtk/create_task_monitor.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 10776 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_events.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 5413 2024-02-09 18:15:52.000000 testgtk/create_about.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4263 2022-09-29 10:11:58.000000 testgtk/gnome-gsame.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1932 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_composite.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 299 2022-09-29 10:11:58.000000 testgtk/tree_minus.xpm │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 13499 2022-09-29 10:11:58.000000 testgtk/create_builder.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 21535 2022-09-29 10:11:58.000000 testgtk/create_flow_box.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 370 2022-09-29 10:11:58.000000 testgtk/testgtk.css │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1927 2022-09-29 10:11:58.000000 testgtk/create_radio_button.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2571 2022-09-29 10:11:58.000000 testgtk/common.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1904 2022-09-29 10:11:58.000000 testgtk/create_buttons.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 302023 2022-09-29 10:11:58.000000 testgtk/marble.xpm │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1911 2022-09-29 10:11:58.000000 testgtk/create_spin.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 54936 2022-09-29 10:11:58.000000 testgtk/dancing-penguin.gif │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 8443 2022-09-29 10:11:58.000000 testgtk/create_entry.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1916 2022-09-29 10:11:58.000000 testgtk/create_gtkada_builder.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 5173 2022-09-29 10:11:58.000000 testgtk/create_spinners.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 15983 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_items.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3410 2022-09-29 10:11:58.000000 testgtk/gnome-gimp.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 2916 2022-09-29 10:11:58.000000 testgtk/gnome-foot.png │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3718 2022-09-29 10:11:58.000000 testgtk/create_font_chooser.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 481 2022-09-29 10:11:58.000000 testgtk/README │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1926 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_routes.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 3138 2022-09-29 10:11:58.000000 testgtk/create_fixed.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1479 2022-09-29 10:11:58.000000 testgtk/perspectives_indep.xml │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1894 2022-09-29 10:11:58.000000 testgtk/create_dnd.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 5500 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_minimap.adb │ │ │ │ │ │ +-rwxrwxr-x 0 0 0 1970 2022-09-29 10:11:58.000000 testgtk/global_exception_handler.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6994 2022-09-29 10:11:58.000000 testgtk/create_box.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 9444 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_routes.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1919 2022-09-29 10:11:58.000000 testgtk/create_scrolled.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6794 2022-09-29 10:11:58.000000 testgtk/create_print.adb │ │ │ │ │ │ +-rwxrwxr-x 0 0 0 2038 2022-09-29 10:11:58.000000 testgtk/global_exception_handler.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 4008 2022-09-29 10:11:58.000000 testgtk/create_gtkada_dialog.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 6077 2022-09-29 10:11:58.000000 testgtk/create_canvas_view_rtrees.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 5875 2022-09-29 10:11:58.000000 testgtk/create_size_groups.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 16587 2022-09-29 10:11:58.000000 testgtk/create_tree_view.adb │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 1908 2022-09-29 10:11:58.000000 testgtk/create_tree_view.ads │ │ │ │ │ │ +-rw-rw-r-- 0 0 0 133 2022-12-27 00:33:58.000000 testgtk/testgtk.gpr │ │ │ ├── ./usr/share/doc/libgtkada-doc/gtkada_ug/searchindex.js │ │ │ │ ├── js-beautify {} │ │ │ │ │ @@ -2294,14 +2294,44 @@ │ │ │ │ │ "sphinx.domains.python": 3, │ │ │ │ │ "sphinx.domains.rst": 2, │ │ │ │ │ "sphinx.domains.std": 2, │ │ │ │ │ "sphinx.ext.viewcode": 1, │ │ │ │ │ "sphinx": 57 │ │ │ │ │ }, │ │ │ │ │ "alltitles": { │ │ │ │ │ + "Support for Glade, the Gtk GUI builder": [ │ │ │ │ │ + [5, "support-for-glade-the-gtk-gui-builder"] │ │ │ │ │ + ], │ │ │ │ │ + "Introduction": [ │ │ │ │ │ + [5, "introduction"] │ │ │ │ │ + ], │ │ │ │ │ + "Launching Glade": [ │ │ │ │ │ + [5, "launching-glade"] │ │ │ │ │ + ], │ │ │ │ │ + "Building your interface": [ │ │ │ │ │ + [5, "building-your-interface"] │ │ │ │ │ + ], │ │ │ │ │ + "Using the interface in your application.": [ │ │ │ │ │ + [5, "using-the-interface-in-your-application"] │ │ │ │ │ + ], │ │ │ │ │ + "Using GtkParasite to inspect and modify running GtkAda applications": [ │ │ │ │ │ + [6, "using-gtkparasite-to-inspect-and-modify-running-gtkada-applications"] │ │ │ │ │ + ], │ │ │ │ │ + "Hierarchical composition of a window": [ │ │ │ │ │ + [7, "hierarchical-composition-of-a-window"] │ │ │ │ │ + ], │ │ │ │ │ + "GtkAda User\u2019s Guide": [ │ │ │ │ │ + [8, "gtkada-user-s-guide"] │ │ │ │ │ + ], │ │ │ │ │ + "Introduction: What is GtkAda ?": [ │ │ │ │ │ + [9, "introduction-what-is-gtkada"] │ │ │ │ │ + ], │ │ │ │ │ + "Memory management": [ │ │ │ │ │ + [11, "memory-management"] │ │ │ │ │ + ], │ │ │ │ │ "GNU Free Documentation License": [ │ │ │ │ │ [10, "gnu-free-documentation-license"] │ │ │ │ │ ], │ │ │ │ │ "PREAMBLE": [ │ │ │ │ │ [10, "preamble"] │ │ │ │ │ ], │ │ │ │ │ "APPLICABILITY AND DEFINITIONS": [ │ │ │ │ │ @@ -2333,32 +2363,53 @@ │ │ │ │ │ ], │ │ │ │ │ "FUTURE REVISIONS OF THIS LICENSE": [ │ │ │ │ │ [10, "future-revisions-of-this-license"] │ │ │ │ │ ], │ │ │ │ │ "ADDENDUM: How to use this License for your documents": [ │ │ │ │ │ [10, "addendum-how-to-use-this-license-for-your-documents"] │ │ │ │ │ ], │ │ │ │ │ - "Using GtkParasite to inspect and modify running GtkAda applications": [ │ │ │ │ │ - [6, "using-gtkparasite-to-inspect-and-modify-running-gtkada-applications"] │ │ │ │ │ + "Binding new widgets": [ │ │ │ │ │ + [12, "binding-new-widgets"] │ │ │ │ │ ], │ │ │ │ │ - "Hierarchical composition of a window": [ │ │ │ │ │ - [7, "hierarchical-composition-of-a-window"] │ │ │ │ │ + "Object-oriented features": [ │ │ │ │ │ + [13, "object-oriented-features"] │ │ │ │ │ ], │ │ │ │ │ - "Introduction: What is GtkAda ?": [ │ │ │ │ │ - [9, "introduction-what-is-gtkada"] │ │ │ │ │ + "General description of the tagged types": [ │ │ │ │ │ + [13, "general-description-of-the-tagged-types"] │ │ │ │ │ ], │ │ │ │ │ - "Memory management": [ │ │ │ │ │ - [11, "memory-management"] │ │ │ │ │ + "Why should I use object-oriented programming ?": [ │ │ │ │ │ + [13, "why-should-i-use-object-oriented-programming"] │ │ │ │ │ ], │ │ │ │ │ - "GtkAda User\u2019s Guide": [ │ │ │ │ │ - [8, "gtkada-user-s-guide"] │ │ │ │ │ + "Type conversions from C to Ada widgets": [ │ │ │ │ │ + [13, "type-conversions-from-c-to-ada-widgets"] │ │ │ │ │ + ], │ │ │ │ │ + "Using tagged types to extend Gtk widgets": [ │ │ │ │ │ + [13, "using-tagged-types-to-extend-gtk-widgets"] │ │ │ │ │ + ], │ │ │ │ │ + "Creating new widgets in Ada": [ │ │ │ │ │ + [13, "creating-new-widgets-in-ada"] │ │ │ │ │ + ], │ │ │ │ │ + "Creating composite widgets": [ │ │ │ │ │ + [13, "creating-composite-widgets"] │ │ │ │ │ + ], │ │ │ │ │ + "Creating widgets from scratch": [ │ │ │ │ │ + [13, "creating-widgets-from-scratch"] │ │ │ │ │ + ], │ │ │ │ │ + "How to report bugs": [ │ │ │ │ │ + [14, "how-to-report-bugs"] │ │ │ │ │ ], │ │ │ │ │ "Bibliography": [ │ │ │ │ │ [1, "bibliography"] │ │ │ │ │ ], │ │ │ │ │ + "Debugging GtkAda applications": [ │ │ │ │ │ + [2, "debugging-gtkada-applications"] │ │ │ │ │ + ], │ │ │ │ │ + "Starting an application with GtkAda": [ │ │ │ │ │ + [0, "starting-an-application-with-gtkada"] │ │ │ │ │ + ], │ │ │ │ │ "Getting started with GtkAda": [ │ │ │ │ │ [4, "getting-started-with-gtkada"] │ │ │ │ │ ], │ │ │ │ │ "How to build and install GtkAda": [ │ │ │ │ │ [4, "how-to-build-and-install-gtkada"] │ │ │ │ │ ], │ │ │ │ │ "How to distribute a GtkAda application": [ │ │ │ │ │ @@ -2378,107 +2429,26 @@ │ │ │ │ │ ], │ │ │ │ │ "Widgets Hierarchy": [ │ │ │ │ │ [4, "widgets-hierarchy"] │ │ │ │ │ ], │ │ │ │ │ "Processing external events": [ │ │ │ │ │ [3, "processing-external-events"] │ │ │ │ │ ], │ │ │ │ │ - "Starting an application with GtkAda": [ │ │ │ │ │ - [0, "starting-an-application-with-gtkada"] │ │ │ │ │ - ], │ │ │ │ │ - "Debugging GtkAda applications": [ │ │ │ │ │ - [2, "debugging-gtkada-applications"] │ │ │ │ │ - ], │ │ │ │ │ - "Support for Glade, the Gtk GUI builder": [ │ │ │ │ │ - [5, "support-for-glade-the-gtk-gui-builder"] │ │ │ │ │ - ], │ │ │ │ │ - "Introduction": [ │ │ │ │ │ - [5, "introduction"] │ │ │ │ │ - ], │ │ │ │ │ - "Launching Glade": [ │ │ │ │ │ - [5, "launching-glade"] │ │ │ │ │ - ], │ │ │ │ │ - "Building your interface": [ │ │ │ │ │ - [5, "building-your-interface"] │ │ │ │ │ - ], │ │ │ │ │ - "Using the interface in your application.": [ │ │ │ │ │ - [5, "using-the-interface-in-your-application"] │ │ │ │ │ - ], │ │ │ │ │ - "How to report bugs": [ │ │ │ │ │ - [14, "how-to-report-bugs"] │ │ │ │ │ + "Tasking with GtkAda": [ │ │ │ │ │ + [18, "tasking-with-gtkada"] │ │ │ │ │ ], │ │ │ │ │ "System Package Dependencies": [ │ │ │ │ │ [17, "system-package-dependencies"] │ │ │ │ │ ], │ │ │ │ │ "Red Hat Enterprise Linux 7 & 8": [ │ │ │ │ │ [17, "red-hat-enterprise-linux-7-8"] │ │ │ │ │ ], │ │ │ │ │ "Ubunbu 18.04 & 20.04": [ │ │ │ │ │ [17, "ubunbu-18-04-20-04"] │ │ │ │ │ ], │ │ │ │ │ - "Binding new widgets": [ │ │ │ │ │ - [12, "binding-new-widgets"] │ │ │ │ │ - ], │ │ │ │ │ - "Object-oriented features": [ │ │ │ │ │ - [13, "object-oriented-features"] │ │ │ │ │ - ], │ │ │ │ │ - "General description of the tagged types": [ │ │ │ │ │ - [13, "general-description-of-the-tagged-types"] │ │ │ │ │ - ], │ │ │ │ │ - "Why should I use object-oriented programming ?": [ │ │ │ │ │ - [13, "why-should-i-use-object-oriented-programming"] │ │ │ │ │ - ], │ │ │ │ │ - "Type conversions from C to Ada widgets": [ │ │ │ │ │ - [13, "type-conversions-from-c-to-ada-widgets"] │ │ │ │ │ - ], │ │ │ │ │ - "Using tagged types to extend Gtk widgets": [ │ │ │ │ │ - [13, "using-tagged-types-to-extend-gtk-widgets"] │ │ │ │ │ - ], │ │ │ │ │ - "Creating new widgets in Ada": [ │ │ │ │ │ - [13, "creating-new-widgets-in-ada"] │ │ │ │ │ - ], │ │ │ │ │ - "Creating composite widgets": [ │ │ │ │ │ - [13, "creating-composite-widgets"] │ │ │ │ │ - ], │ │ │ │ │ - "Creating widgets from scratch": [ │ │ │ │ │ - [13, "creating-widgets-from-scratch"] │ │ │ │ │ - ], │ │ │ │ │ - "Resource files": [ │ │ │ │ │ - [15, "resource-files"] │ │ │ │ │ - ], │ │ │ │ │ - "Signal handling": [ │ │ │ │ │ - [16, "signal-handling"] │ │ │ │ │ - ], │ │ │ │ │ - "Predefined signals": [ │ │ │ │ │ - [16, "predefined-signals"] │ │ │ │ │ - ], │ │ │ │ │ - "Connecting signals": [ │ │ │ │ │ - [16, "connecting-signals"] │ │ │ │ │ - ], │ │ │ │ │ - "Connecting via the On_* procedures": [ │ │ │ │ │ - [16, "connecting-via-the-on-procedures"] │ │ │ │ │ - ], │ │ │ │ │ - "Connecting via the Gtk.Handlers package": [ │ │ │ │ │ - [16, "connecting-via-the-gtk-handlers-package"] │ │ │ │ │ - ], │ │ │ │ │ - "Handling user data": [ │ │ │ │ │ - [16, "handling-user-data"] │ │ │ │ │ - ], │ │ │ │ │ - "First case: simple user data": [ │ │ │ │ │ - [16, "first-case-simple-user-data"] │ │ │ │ │ - ], │ │ │ │ │ - "Second case: using Object_Connect instead": [ │ │ │ │ │ - [16, "second-case-using-object-connect-instead"] │ │ │ │ │ - ], │ │ │ │ │ - "Third case: manually disconnecting the callback": [ │ │ │ │ │ - [16, "third-case-manually-disconnecting-the-callback"] │ │ │ │ │ - ], │ │ │ │ │ - "Fourth case: setting a watch on a specific widget": [ │ │ │ │ │ - [16, "fourth-case-setting-a-watch-on-a-specific-widget"] │ │ │ │ │ - ], │ │ │ │ │ "Transitioning from GtkAda 2 to GtkAda 3": [ │ │ │ │ │ [19, "transitioning-from-gtkada-2-to-gtkada-3"] │ │ │ │ │ ], │ │ │ │ │ "General": [ │ │ │ │ │ [19, "general"] │ │ │ │ │ ], │ │ │ │ │ "Interfaces": [ │ │ │ │ │ @@ -2816,13 +2786,43 @@ │ │ │ │ │ ], │ │ │ │ │ "Gnome.App_Bar": [ │ │ │ │ │ [19, "gnome-app-bar"] │ │ │ │ │ ], │ │ │ │ │ "Gnome.Gentry": [ │ │ │ │ │ [19, "gnome-gentry"] │ │ │ │ │ ], │ │ │ │ │ - "Tasking with GtkAda": [ │ │ │ │ │ - [18, "tasking-with-gtkada"] │ │ │ │ │ + "Signal handling": [ │ │ │ │ │ + [16, "signal-handling"] │ │ │ │ │ + ], │ │ │ │ │ + "Predefined signals": [ │ │ │ │ │ + [16, "predefined-signals"] │ │ │ │ │ + ], │ │ │ │ │ + "Connecting signals": [ │ │ │ │ │ + [16, "connecting-signals"] │ │ │ │ │ + ], │ │ │ │ │ + "Connecting via the On_* procedures": [ │ │ │ │ │ + [16, "connecting-via-the-on-procedures"] │ │ │ │ │ + ], │ │ │ │ │ + "Connecting via the Gtk.Handlers package": [ │ │ │ │ │ + [16, "connecting-via-the-gtk-handlers-package"] │ │ │ │ │ + ], │ │ │ │ │ + "Handling user data": [ │ │ │ │ │ + [16, "handling-user-data"] │ │ │ │ │ + ], │ │ │ │ │ + "First case: simple user data": [ │ │ │ │ │ + [16, "first-case-simple-user-data"] │ │ │ │ │ + ], │ │ │ │ │ + "Second case: using Object_Connect instead": [ │ │ │ │ │ + [16, "second-case-using-object-connect-instead"] │ │ │ │ │ + ], │ │ │ │ │ + "Third case: manually disconnecting the callback": [ │ │ │ │ │ + [16, "third-case-manually-disconnecting-the-callback"] │ │ │ │ │ + ], │ │ │ │ │ + "Fourth case: setting a watch on a specific widget": [ │ │ │ │ │ + [16, "fourth-case-setting-a-watch-on-a-specific-widget"] │ │ │ │ │ + ], │ │ │ │ │ + "Resource files": [ │ │ │ │ │ + [15, "resource-files"] │ │ │ │ │ ] │ │ │ │ │ }, │ │ │ │ │ "indexentries": {} │ │ │ │ │ })