bucket_C5/gtkada

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               gtkada
   4 VERSION=                23.0.0
   5 REVISION=               3
   6 KEYWORDS=               x11_toolkits ada
   7 VARIANTS=               standard
   8 SDESC[standard]=        Ada graphical toolkit based on Gtk3 components
   9 HOMEPAGE=               https://github.com/adacore/gtkada
  10 CONTACT=                John_Marino[draco@marino.st]
  11
  12 DOWNLOAD_GROUPS=        main
  13 SITES[main]=            GITHUB/AdaCore:gtkada:0a40640
  14 DISTFILE[1]=            generated:main
  15 DF_INDEX=               1
  16 SPKGS[standard]=        complete
  17                         primary
  18                         dev
  19
  20 OPTIONS_AVAILABLE=      DEBUG
  21 OPTIONS_STANDARD=       DEBUG
  22
  23 BUILD_DEPENDS=          python-Sphinx:single:python_default
  24                         harfbuzz:dev:standard
  25
  26 USES=                   gmake perl:build pkgconfig gprbuild ada:primary
  27 GNOME_COMPONENTS=       gtk3 cairo gdkpixbuf
  28
  29 LICENSE=                GPLv3+:primary
  30 LICENSE_TERMS=          primary:{{WRKDIR}}/TERMS
  31 LICENSE_FILE=           GPLv3+:{{WRKSRC}}/COPYING3
  32 LICENSE_AWK=            TERMS:"^$$"
  33 LICENSE_SOURCE=         TERMS:{{WRKSRC}}/src/gtkada.ads
  34 LICENSE_SCHEME=         solo
  35
  36 MUST_CONFIGURE=         gnu
  37 CONFIGURE_ARGS=         --enable-shared
  38                         --enable-static
  39
  40 BUILD_TARGET=           tools static relocatable
  41 MAKE_ARGS=              PROCESSORS={{MAKE_JOBS_NUMBER}}
  42                         PRJDIR=share/gpr
  43
  44 INSTALL_REQ_TOOLCHAIN=  yes
  45 SOVERSION=              18.0w
  46
  47 [DEBUG].CONFIGURE_ARGS_OFF=             --enable-build=Production
  48 [DEBUG].CONFIGURE_ARGS_ON=              --enable-build=Debug
  49 [DEBUG].MAKEFILE_ON=                    WITH_DEBUG=yes
  50
  51 do-build:
  52         # This target is recreated because -j cannot be set, but
  53         # MAKE_JOBS_SAFE=yes is needed for PROCESSORS value
  54         (cd ${WRKSRC} && \
  55                 ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${BUILD_TARGET})
  56
  57 post-install:
  58         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/gtkada-dialog
  59         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libgtkada.so
  60         ${RM} -r ${STAGEDIR}${PREFIX}/share/doc/gtkada/gtkada_ug/_sources
  61         ${RM} -r ${STAGEDIR}${PREFIX}/share/gpr/manifests
  62
  63 [FILE:227:descriptions/desc.primary]
  64 GtkAda is an Ada graphical toolkit based on Gtk3 widgets using the
  65 object-oriented features of the language.  Gtk3 is a graphical toolkit
  66 written in C for X-Window and Win32 that was originally developed as
  67 the basis for GIMP.
  68
  69
  70 [FILE:108:distinfo]
  71 5fed164065aaec8475830c862c6389518d9459afde69a58e0f3144b18edbaf24      6047992 AdaCore-gtkada-0a40640.tar.gz
  72
  73
  74 [FILE:95:manifests/plist.primary]
  75 lib/libgtkada.so.%%SOVERSION%%
  76 lib/gtkada/gtkada.relocatable/gtkada/libgtkada.so.%%SOVERSION%%
  77
  78
  79 [FILE:66702:manifests/plist.dev]
  80 bin/gtkada-dialog
  81 include/gtkada/gtkada.relocatable/gtkada/
  82  cairo-font_face.ads
  83  cairo-font_options.adb
  84  cairo-font_options.ads
  85  cairo-image_surface.adb
  86  cairo-image_surface.ads
  87  cairo-matrix.ads
  88  cairo-pattern.ads
  89  cairo-pdf.adb
  90  cairo-pdf.ads
  91  cairo-png.adb
  92  cairo-png.ads
  93  cairo-region.adb
  94  cairo-region.ads
  95  cairo-scaled_font.ads
  96  cairo-surface.adb
  97  cairo-surface.ads
  98  cairo-svg.adb
  99  cairo-svg.ads
 100  cairo.adb
 101  cairo.ads
 102  fontconfig.adb
 103  fontconfig.ads
 104  gdk-cairo.adb
 105  gdk-cairo.ads
 106  gdk-color.adb
 107  gdk-color.ads
 108  gdk-cursor.adb
 109  gdk-cursor.ads
 110  gdk-device.adb
 111  gdk-device.ads
 112  gdk-device_manager.adb
 113  gdk-device_manager.ads
 114  gdk-device_tool.adb
 115  gdk-device_tool.ads
 116  gdk-display.adb
 117  gdk-display.ads
 118  gdk-display_manager.adb
 119  gdk-display_manager.ads
 120  gdk-dnd.adb
 121  gdk-dnd.ads
 122  gdk-drag_contexts.adb
 123  gdk-drag_contexts.ads
 124  gdk-drawing_context.adb
 125  gdk-drawing_context.ads
 126  gdk-event.adb
 127  gdk-event.ads
 128  gdk-frame_clock.adb
 129  gdk-frame_clock.ads
 130  gdk-frame_timings.adb
 131  gdk-frame_timings.ads
 132  gdk-glcontext.adb
 133  gdk-glcontext.ads
 134  gdk-input.ads
 135  gdk-keyval.adb
 136  gdk-keyval.ads
 137  gdk-main.adb
 138  gdk-main.ads
 139  gdk-monitor.adb
 140  gdk-monitor.ads
 141  gdk-pixbuf.adb
 142  gdk-pixbuf.ads
 143  gdk-property.adb
 144  gdk-property.ads
 145  gdk-rectangle.adb
 146  gdk-rectangle.ads
 147  gdk-rgba.adb
 148  gdk-rgba.ads
 149  gdk-screen.adb
 150  gdk-screen.ads
 151  gdk-seat.adb
 152  gdk-seat.ads
 153  gdk-threads.ads
 154  gdk-types-keysyms.ads
 155  gdk-types.ads
 156  gdk-visual.adb
 157  gdk-visual.ads
 158  gdk-window.adb
 159  gdk-window.ads
 160  gdk-window_attr.adb
 161  gdk-window_attr.ads
 162  gdk.ads
 163  glib-action.adb
 164  glib-action.ads
 165  glib-action_group.adb
 166  glib-action_group.ads
 167  glib-action_map.adb
 168  glib-action_map.ads
 169  glib-application.adb
 170  glib-application.ads
 171  glib-cancellable.adb
 172  glib-cancellable.ads
 173  glib-convert.adb
 174  glib-convert.ads
 175  glib-enums.ads
 176  glib-error.adb
 177  glib-error.ads
 178  glib-g_icon.adb
 179  glib-g_icon.ads
 180  glib-generic_properties.adb
 181  glib-generic_properties.ads
 182  glib-glist.adb
 183  glib-glist.ads
 184  glib-gnodes.adb
 185  glib-gnodes.ads
 186  glib-graphs-layouts.adb
 187  glib-graphs-layouts.ads
 188  glib-graphs.adb
 189  glib-graphs.ads
 190  glib-gslist.adb
 191  glib-gslist.ads
 192  glib-iochannel.adb
 193  glib-iochannel.ads
 194  glib-key_file.adb
 195  glib-key_file.ads
 196  glib-list_model.adb
 197  glib-list_model.ads
 198  glib-main.adb
 199  glib-main.ads
 200  glib-menu.adb
 201  glib-menu.ads
 202  glib-menu_model.adb
 203  glib-menu_model.ads
 204  glib-messages.adb
 205  glib-messages.ads
 206  glib-module.adb
 207  glib-module.ads
 208  glib-notification.adb
 209  glib-notification.ads
 210  glib-object.adb
 211  glib-object.ads
 212  glib-option.adb
 213  glib-option.ads
 214  glib-poll.adb
 215  glib-poll.ads
 216  glib-properties-creation.adb
 217  glib-properties-creation.ads
 218  glib-properties.adb
 219  glib-properties.ads
 220  glib-simple_action.adb
 221  glib-simple_action.ads
 222  glib-simple_action_group.adb
 223  glib-simple_action_group.ads
 224  glib-spawn.adb
 225  glib-spawn.ads
 226  glib-string.adb
 227  glib-string.ads
 228  glib-type_conversion_hooks.adb
 229  glib-type_conversion_hooks.ads
 230  glib-types.adb
 231  glib-types.ads
 232  glib-unicode.adb
 233  glib-unicode.ads
 234  glib-utils.adb
 235  glib-utils.ads
 236  glib-values.adb
 237  glib-values.ads
 238  glib-variant.adb
 239  glib-variant.ads
 240  glib-xml.adb
 241  glib-xml.ads
 242  glib-xml_int.ads
 243  glib.adb
 244  glib.ads
 245  gtk-about_dialog.adb
 246  gtk-about_dialog.ads
 247  gtk-accel_group.adb
 248  gtk-accel_group.ads
 249  gtk-accel_label.adb
 250  gtk-accel_label.ads
 251  gtk-accel_map.adb
 252  gtk-accel_map.ads
 253  gtk-action.adb
 254  gtk-action.ads
 255  gtk-action_bar.adb
 256  gtk-action_bar.ads
 257  gtk-action_group.adb
 258  gtk-action_group.ads
 259  gtk-actionable.adb
 260  gtk-actionable.ads
 261  gtk-activatable.adb
 262  gtk-activatable.ads
 263  gtk-adjustment.adb
 264  gtk-adjustment.ads
 265  gtk-alignment.adb
 266  gtk-alignment.ads
 267  gtk-application.adb
 268  gtk-application.ads
 269  gtk-application_window.adb
 270  gtk-application_window.ads
 271  gtk-arguments.adb
 272  gtk-arguments.ads
 273  gtk-arrow.adb
 274  gtk-arrow.ads
 275  gtk-aspect_frame.adb
 276  gtk-aspect_frame.ads
 277  gtk-assistant.adb
 278  gtk-assistant.ads
 279  gtk-bin.adb
 280  gtk-bin.ads
 281  gtk-binding_set.adb
 282  gtk-binding_set.ads
 283  gtk-bindings.adb
 284  gtk-bindings.ads
 285  gtk-box.adb
 286  gtk-box.ads
 287  gtk-buildable.adb
 288  gtk-buildable.ads
 289  gtk-builder.adb
 290  gtk-builder.ads
 291  gtk-button.adb
 292  gtk-button.ads
 293  gtk-button_box.adb
 294  gtk-button_box.ads
 295  gtk-calendar.adb
 296  gtk-calendar.ads
 297  gtk-cell_area.adb
 298  gtk-cell_area.ads
 299  gtk-cell_area_box.adb
 300  gtk-cell_area_box.ads
 301  gtk-cell_area_context.adb
 302  gtk-cell_area_context.ads
 303  gtk-cell_editable.adb
 304  gtk-cell_editable.ads
 305  gtk-cell_layout.adb
 306  gtk-cell_layout.ads
 307  gtk-cell_renderer.adb
 308  gtk-cell_renderer.ads
 309  gtk-cell_renderer_accel.adb
 310  gtk-cell_renderer_accel.ads
 311  gtk-cell_renderer_combo.adb
 312  gtk-cell_renderer_combo.ads
 313  gtk-cell_renderer_pixbuf.adb
 314  gtk-cell_renderer_pixbuf.ads
 315  gtk-cell_renderer_progress.adb
 316  gtk-cell_renderer_progress.ads
 317  gtk-cell_renderer_spin.adb
 318  gtk-cell_renderer_spin.ads
 319  gtk-cell_renderer_spinner.adb
 320  gtk-cell_renderer_spinner.ads
 321  gtk-cell_renderer_text.adb
 322  gtk-cell_renderer_text.ads
 323  gtk-cell_renderer_toggle.adb
 324  gtk-cell_renderer_toggle.ads
 325  gtk-cell_view.adb
 326  gtk-cell_view.ads
 327  gtk-check_button.adb
 328  gtk-check_button.ads
 329  gtk-check_menu_item.adb
 330  gtk-check_menu_item.ads
 331  gtk-clipboard.adb
 332  gtk-clipboard.ads
 333  gtk-color_button.adb
 334  gtk-color_button.ads
 335  gtk-color_chooser.adb
 336  gtk-color_chooser.ads
 337  gtk-color_chooser_dialog.adb
 338  gtk-color_chooser_dialog.ads
 339  gtk-color_chooser_widget.adb
 340  gtk-color_chooser_widget.ads
 341  gtk-color_selection.adb
 342  gtk-color_selection.ads
 343  gtk-color_selection_dialog.adb
 344  gtk-color_selection_dialog.ads
 345  gtk-combo_box.adb
 346  gtk-combo_box.ads
 347  gtk-combo_box_text.adb
 348  gtk-combo_box_text.ads
 349  gtk-container.adb
 350  gtk-container.ads
 351  gtk-css_provider.adb
 352  gtk-css_provider.ads
 353  gtk-css_section.adb
 354  gtk-css_section.ads
 355  gtk-dialog.adb
 356  gtk-dialog.ads
 357  gtk-dnd.adb
 358  gtk-dnd.ads
 359  gtk-drawing_area.adb
 360  gtk-drawing_area.ads
 361  gtk-editable.adb
 362  gtk-editable.ads
 363  gtk-entry_buffer.adb
 364  gtk-entry_buffer.ads
 365  gtk-entry_completion.adb
 366  gtk-entry_completion.ads
 367  gtk-enums.adb
 368  gtk-enums.ads
 369  gtk-event_box.adb
 370  gtk-event_box.ads
 371  gtk-event_controller.adb
 372  gtk-event_controller.ads
 373  gtk-expander.adb
 374  gtk-expander.ads
 375  gtk-file_chooser.adb
 376  gtk-file_chooser.ads
 377  gtk-file_chooser_button.adb
 378  gtk-file_chooser_button.ads
 379  gtk-file_chooser_dialog.adb
 380  gtk-file_chooser_dialog.ads
 381  gtk-file_chooser_widget.adb
 382  gtk-file_chooser_widget.ads
 383  gtk-file_filter.adb
 384  gtk-file_filter.ads
 385  gtk-fixed.adb
 386  gtk-fixed.ads
 387  gtk-flow_box.adb
 388  gtk-flow_box.ads
 389  gtk-flow_box_child.adb
 390  gtk-flow_box_child.ads
 391  gtk-font_button.adb
 392  gtk-font_button.ads
 393  gtk-font_chooser.adb
 394  gtk-font_chooser.ads
 395  gtk-font_chooser_dialog.adb
 396  gtk-font_chooser_dialog.ads
 397  gtk-font_chooser_widget.adb
 398  gtk-font_chooser_widget.ads
 399  gtk-font_selection.adb
 400  gtk-font_selection.ads
 401  gtk-font_selection_dialog.adb
 402  gtk-font_selection_dialog.ads
 403  gtk-frame.adb
 404  gtk-frame.ads
 405  gtk-gentry.adb
 406  gtk-gentry.ads
 407  gtk-gesture.adb
 408  gtk-gesture.ads
 409  gtk-gesture_drag.adb
 410  gtk-gesture_drag.ads
 411  gtk-gesture_long_press.adb
 412  gtk-gesture_long_press.ads
 413  gtk-gesture_multi_press.adb
 414  gtk-gesture_multi_press.ads
 415  gtk-gesture_pan.adb
 416  gtk-gesture_pan.ads
 417  gtk-gesture_rotate.adb
 418  gtk-gesture_rotate.ads
 419  gtk-gesture_single.adb
 420  gtk-gesture_single.ads
 421  gtk-gesture_swipe.adb
 422  gtk-gesture_swipe.ads
 423  gtk-gesture_zoom.adb
 424  gtk-gesture_zoom.ads
 425  gtk-glarea.adb
 426  gtk-glarea.ads
 427  gtk-gradient.adb
 428  gtk-gradient.ads
 429  gtk-grange.adb
 430  gtk-grange.ads
 431  gtk-grid.adb
 432  gtk-grid.ads
 433  gtk-handle_box.adb
 434  gtk-handle_box.ads
 435  gtk-handlers.adb
 436  gtk-handlers.ads
 437  gtk-hbutton_box.adb
 438  gtk-hbutton_box.ads
 439  gtk-header_bar.adb
 440  gtk-header_bar.ads
 441  gtk-hsv.adb
 442  gtk-hsv.ads
 443  gtk-icon_factory.adb
 444  gtk-icon_factory.ads
 445  gtk-icon_set.adb
 446  gtk-icon_set.ads
 447  gtk-icon_source.adb
 448  gtk-icon_source.ads
 449  gtk-icon_theme.adb
 450  gtk-icon_theme.ads
 451  gtk-icon_view.adb
 452  gtk-icon_view.ads
 453  gtk-im_context.adb
 454  gtk-im_context.ads
 455  gtk-im_context_simple.adb
 456  gtk-im_context_simple.ads
 457  gtk-im_multi_context.adb
 458  gtk-im_multi_context.ads
 459  gtk-image.adb
 460  gtk-image.ads
 461  gtk-image_menu_item.adb
 462  gtk-image_menu_item.ads
 463  gtk-info_bar.adb
 464  gtk-info_bar.ads
 465  gtk-invisible.adb
 466  gtk-invisible.ads
 467  gtk-label.adb
 468  gtk-label.ads
 469  gtk-layout.adb
 470  gtk-layout.ads
 471  gtk-level_bar.adb
 472  gtk-level_bar.ads
 473  gtk-link_button.adb
 474  gtk-link_button.ads
 475  gtk-list_box.adb
 476  gtk-list_box.ads
 477  gtk-list_box_row.adb
 478  gtk-list_box_row.ads
 479  gtk-list_store.adb
 480  gtk-list_store.ads
 481  gtk-main.adb
 482  gtk-main.ads
 483  gtk-marshallers.adb
 484  gtk-marshallers.ads
 485  gtk-menu.adb
 486  gtk-menu.ads
 487  gtk-menu_bar.adb
 488  gtk-menu_bar.ads
 489  gtk-menu_button.adb
 490  gtk-menu_button.ads
 491  gtk-menu_item.adb
 492  gtk-menu_item.ads
 493  gtk-menu_shell.adb
 494  gtk-menu_shell.ads
 495  gtk-menu_tool_button.adb
 496  gtk-menu_tool_button.ads
 497  gtk-message_dialog.adb
 498  gtk-message_dialog.ads
 499  gtk-misc.adb
 500  gtk-misc.ads
 501  gtk-notebook.adb
 502  gtk-notebook.ads
 503  gtk-offscreen_window.adb
 504  gtk-offscreen_window.ads
 505  gtk-orientable.adb
 506  gtk-orientable.ads
 507  gtk-overlay.adb
 508  gtk-overlay.ads
 509  gtk-page_setup.adb
 510  gtk-page_setup.ads
 511  gtk-paned.adb
 512  gtk-paned.ads
 513  gtk-paper_size.adb
 514  gtk-paper_size.ads
 515  gtk-popover.adb
 516  gtk-popover.ads
 517  gtk-print_context.adb
 518  gtk-print_context.ads
 519  gtk-print_operation.adb
 520  gtk-print_operation.ads
 521  gtk-print_operation_preview.adb
 522  gtk-print_operation_preview.ads
 523  gtk-print_settings.adb
 524  gtk-print_settings.ads
 525  gtk-progress_bar.adb
 526  gtk-progress_bar.ads
 527  gtk-radio_action.adb
 528  gtk-radio_action.ads
 529  gtk-radio_button.adb
 530  gtk-radio_button.ads
 531  gtk-radio_menu_item.adb
 532  gtk-radio_menu_item.ads
 533  gtk-radio_tool_button.adb
 534  gtk-radio_tool_button.ads
 535  gtk-rc.adb
 536  gtk-rc.ads
 537  gtk-recent_action.adb
 538  gtk-recent_action.ads
 539  gtk-recent_chooser.adb
 540  gtk-recent_chooser.ads
 541  gtk-recent_chooser_dialog.adb
 542  gtk-recent_chooser_dialog.ads
 543  gtk-recent_chooser_menu.adb
 544  gtk-recent_chooser_menu.ads
 545  gtk-recent_chooser_widget.adb
 546  gtk-recent_chooser_widget.ads
 547  gtk-recent_filter.adb
 548  gtk-recent_filter.ads
 549  gtk-recent_info.adb
 550  gtk-recent_info.ads
 551  gtk-recent_manager.adb
 552  gtk-recent_manager.ads
 553  gtk-revealer.adb
 554  gtk-revealer.ads
 555  gtk-scale.adb
 556  gtk-scale.ads
 557  gtk-scale_button.adb
 558  gtk-scale_button.ads
 559  gtk-scrollable.adb
 560  gtk-scrollable.ads
 561  gtk-scrollbar.adb
 562  gtk-scrollbar.ads
 563  gtk-scrolled_window.adb
 564  gtk-scrolled_window.ads
 565  gtk-search_bar.adb
 566  gtk-search_bar.ads
 567  gtk-search_entry.adb
 568  gtk-search_entry.ads
 569  gtk-selection_data.adb
 570  gtk-selection_data.ads
 571  gtk-separator.adb
 572  gtk-separator.ads
 573  gtk-separator_menu_item.adb
 574  gtk-separator_menu_item.ads
 575  gtk-separator_tool_item.adb
 576  gtk-separator_tool_item.ads
 577  gtk-settings.adb
 578  gtk-settings.ads
 579  gtk-shortcuts_window.adb
 580  gtk-shortcuts_window.ads
 581  gtk-size_group.adb
 582  gtk-size_group.ads
 583  gtk-spin_button.adb
 584  gtk-spin_button.ads
 585  gtk-spinner.adb
 586  gtk-spinner.ads
 587  gtk-stack.adb
 588  gtk-stack.ads
 589  gtk-stack_switcher.adb
 590  gtk-stack_switcher.ads
 591  gtk-status_bar.adb
 592  gtk-status_bar.ads
 593  gtk-status_icon.adb
 594  gtk-status_icon.ads
 595  gtk-stock.adb
 596  gtk-stock.ads
 597  gtk-style.adb
 598  gtk-style.ads
 599  gtk-style_context.adb
 600  gtk-style_context.ads
 601  gtk-style_properties.adb
 602  gtk-style_properties.ads
 603  gtk-style_provider.adb
 604  gtk-style_provider.ads
 605  gtk-switch.adb
 606  gtk-switch.ads
 607  gtk-symbolic_color.adb
 608  gtk-symbolic_color.ads
 609  gtk-table.adb
 610  gtk-table.ads
 611  gtk-target_entry.adb
 612  gtk-target_entry.ads
 613  gtk-target_list.adb
 614  gtk-target_list.ads
 615  gtk-tearoff_menu_item.adb
 616  gtk-tearoff_menu_item.ads
 617  gtk-text_attributes.adb
 618  gtk-text_attributes.ads
 619  gtk-text_buffer.adb
 620  gtk-text_buffer.ads
 621  gtk-text_child.adb
 622  gtk-text_child.ads
 623  gtk-text_child_anchor.adb
 624  gtk-text_child_anchor.ads
 625  gtk-text_iter.adb
 626  gtk-text_iter.ads
 627  gtk-text_mark.adb
 628  gtk-text_mark.ads
 629  gtk-text_tag.adb
 630  gtk-text_tag.ads
 631  gtk-text_tag_table.adb
 632  gtk-text_tag_table.ads
 633  gtk-text_view.adb
 634  gtk-text_view.ads
 635  gtk-theming_engine.adb
 636  gtk-theming_engine.ads
 637  gtk-toggle_action.adb
 638  gtk-toggle_action.ads
 639  gtk-toggle_button.adb
 640  gtk-toggle_button.ads
 641  gtk-toggle_tool_button.adb
 642  gtk-toggle_tool_button.ads
 643  gtk-tool_button.adb
 644  gtk-tool_button.ads
 645  gtk-tool_item.adb
 646  gtk-tool_item.ads
 647  gtk-tool_item_group.adb
 648  gtk-tool_item_group.ads
 649  gtk-tool_palette.adb
 650  gtk-tool_palette.ads
 651  gtk-tool_shell.adb
 652  gtk-tool_shell.ads
 653  gtk-toolbar.adb
 654  gtk-toolbar.ads
 655  gtk-tooltip.adb
 656  gtk-tooltip.ads
 657  gtk-tree_drag_dest.adb
 658  gtk-tree_drag_dest.ads
 659  gtk-tree_drag_source.adb
 660  gtk-tree_drag_source.ads
 661  gtk-tree_model-utils.adb
 662  gtk-tree_model-utils.ads
 663  gtk-tree_model.adb
 664  gtk-tree_model.ads
 665  gtk-tree_model_filter.adb
 666  gtk-tree_model_filter.ads
 667  gtk-tree_model_sort.adb
 668  gtk-tree_model_sort.ads
 669  gtk-tree_row_reference.adb
 670  gtk-tree_row_reference.ads
 671  gtk-tree_selection.adb
 672  gtk-tree_selection.ads
 673  gtk-tree_sortable.adb
 674  gtk-tree_sortable.ads
 675  gtk-tree_store.adb
 676  gtk-tree_store.ads
 677  gtk-tree_view.adb
 678  gtk-tree_view.ads
 679  gtk-tree_view_column.adb
 680  gtk-tree_view_column.ads
 681  gtk-type_conversion.adb
 682  gtk-type_conversion.ads
 683  gtk-ui_manager.adb
 684  gtk-ui_manager.ads
 685  gtk-vbutton_box.adb
 686  gtk-vbutton_box.ads
 687  gtk-viewport.adb
 688  gtk-viewport.ads
 689  gtk-volume_button.adb
 690  gtk-volume_button.ads
 691  gtk-widget.adb
 692  gtk-widget.ads
 693  gtk-window.adb
 694  gtk-window.ads
 695  gtk.ads
 696  gtkada-abstract_list_model.adb
 697  gtkada-abstract_list_model.ads
 698  gtkada-abstract_tree_model.adb
 699  gtkada-abstract_tree_model.ads
 700  gtkada-application.adb
 701  gtkada-application.ads
 702  gtkada-bindings.adb
 703  gtkada-bindings.ads
 704  gtkada-builder.adb
 705  gtkada-builder.ads
 706  gtkada-c.adb
 707  gtkada-c.ads
 708  gtkada-canvas.adb
 709  gtkada-canvas.ads
 710  gtkada-canvas_view-astar.adb
 711  gtkada-canvas_view-astar.ads
 712  gtkada-canvas_view-links.adb
 713  gtkada-canvas_view-links.ads
 714  gtkada-canvas_view-models-layers.adb
 715  gtkada-canvas_view-models-layers.ads
 716  gtkada-canvas_view-models.adb
 717  gtkada-canvas_view-models.ads
 718  gtkada-canvas_view-objects.adb
 719  gtkada-canvas_view-objects.ads
 720  gtkada-canvas_view-rtrees.adb
 721  gtkada-canvas_view-rtrees.ads
 722  gtkada-canvas_view-views.adb
 723  gtkada-canvas_view-views.ads
 724  gtkada-canvas_view.adb
 725  gtkada-canvas_view.ads
 726  gtkada-dialogs.adb
 727  gtkada-dialogs.ads
 728  gtkada-file_selection.adb
 729  gtkada-file_selection.ads
 730  gtkada-handlers.ads
 731  gtkada-intl.adb
 732  gtkada-intl.ads
 733  gtkada-mdi-close_button.adb
 734  gtkada-mdi-maximize_action.adb
 735  gtkada-mdi.adb
 736  gtkada-mdi.ads
 737  gtkada-multi_paned.adb
 738  gtkada-multi_paned.ads
 739  gtkada-multiline_entry.adb
 740  gtkada-multiline_entry.ads
 741  gtkada-pixmaps.ads
 742  gtkada-printing.adb
 743  gtkada-printing.ads
 744  gtkada-style.adb
 745  gtkada-style.ads
 746  gtkada-types.adb
 747  gtkada-types.ads
 748  gtkada.ads
 749  misc.c
 750  misc_generated.c
 751  misc_osx.h
 752  pango-attributes.adb
 753  pango-attributes.ads
 754  pango-cairo.adb
 755  pango-cairo.ads
 756  pango-context.adb
 757  pango-context.ads
 758  pango-coverage.adb
 759  pango-coverage.ads
 760  pango-enums.adb
 761  pango-enums.ads
 762  pango-font.adb
 763  pango-font.ads
 764  pango-font_face.adb
 765  pango-font_face.ads
 766  pango-font_family.adb
 767  pango-font_family.ads
 768  pango-font_map.adb
 769  pango-font_map.ads
 770  pango-font_metrics.adb
 771  pango-font_metrics.ads
 772  pango-fontset.adb
 773  pango-fontset.ads
 774  pango-language.adb
 775  pango-language.ads
 776  pango-layout.adb
 777  pango-layout.ads
 778  pango-matrix.adb
 779  pango-matrix.ads
 780  pango-tabs.adb
 781  pango-tabs.ads
 782  pango.ads
 783 include/gtkada/gtkada.static-pic/gtkada/
 784  cairo-font_face.ads
 785  cairo-font_options.adb
 786  cairo-font_options.ads
 787  cairo-image_surface.adb
 788  cairo-image_surface.ads
 789  cairo-matrix.ads
 790  cairo-pattern.ads
 791  cairo-pdf.adb
 792  cairo-pdf.ads
 793  cairo-png.adb
 794  cairo-png.ads
 795  cairo-region.adb
 796  cairo-region.ads
 797  cairo-scaled_font.ads
 798  cairo-surface.adb
 799  cairo-surface.ads
 800  cairo-svg.adb
 801  cairo-svg.ads
 802  cairo.adb
 803  cairo.ads
 804  fontconfig.adb
 805  fontconfig.ads
 806  gdk-cairo.adb
 807  gdk-cairo.ads
 808  gdk-color.adb
 809  gdk-color.ads
 810  gdk-cursor.adb
 811  gdk-cursor.ads
 812  gdk-device.adb
 813  gdk-device.ads
 814  gdk-device_manager.adb
 815  gdk-device_manager.ads
 816  gdk-device_tool.adb
 817  gdk-device_tool.ads
 818  gdk-display.adb
 819  gdk-display.ads
 820  gdk-display_manager.adb
 821  gdk-display_manager.ads
 822  gdk-dnd.adb
 823  gdk-dnd.ads
 824  gdk-drag_contexts.adb
 825  gdk-drag_contexts.ads
 826  gdk-drawing_context.adb
 827  gdk-drawing_context.ads
 828  gdk-event.adb
 829  gdk-event.ads
 830  gdk-frame_clock.adb
 831  gdk-frame_clock.ads
 832  gdk-frame_timings.adb
 833  gdk-frame_timings.ads
 834  gdk-glcontext.adb
 835  gdk-glcontext.ads
 836  gdk-input.ads
 837  gdk-keyval.adb
 838  gdk-keyval.ads
 839  gdk-main.adb
 840  gdk-main.ads
 841  gdk-monitor.adb
 842  gdk-monitor.ads
 843  gdk-pixbuf.adb
 844  gdk-pixbuf.ads
 845  gdk-property.adb
 846  gdk-property.ads
 847  gdk-rectangle.adb
 848  gdk-rectangle.ads
 849  gdk-rgba.adb
 850  gdk-rgba.ads
 851  gdk-screen.adb
 852  gdk-screen.ads
 853  gdk-seat.adb
 854  gdk-seat.ads
 855  gdk-threads.ads
 856  gdk-types-keysyms.ads
 857  gdk-types.ads
 858  gdk-visual.adb
 859  gdk-visual.ads
 860  gdk-window.adb
 861  gdk-window.ads
 862  gdk-window_attr.adb
 863  gdk-window_attr.ads
 864  gdk.ads
 865  glib-action.adb
 866  glib-action.ads
 867  glib-action_group.adb
 868  glib-action_group.ads
 869  glib-action_map.adb
 870  glib-action_map.ads
 871  glib-application.adb
 872  glib-application.ads
 873  glib-cancellable.adb
 874  glib-cancellable.ads
 875  glib-convert.adb
 876  glib-convert.ads
 877  glib-enums.ads
 878  glib-error.adb
 879  glib-error.ads
 880  glib-g_icon.adb
 881  glib-g_icon.ads
 882  glib-generic_properties.adb
 883  glib-generic_properties.ads
 884  glib-glist.adb
 885  glib-glist.ads
 886  glib-gnodes.adb
 887  glib-gnodes.ads
 888  glib-graphs-layouts.adb
 889  glib-graphs-layouts.ads
 890  glib-graphs.adb
 891  glib-graphs.ads
 892  glib-gslist.adb
 893  glib-gslist.ads
 894  glib-iochannel.adb
 895  glib-iochannel.ads
 896  glib-key_file.adb
 897  glib-key_file.ads
 898  glib-list_model.adb
 899  glib-list_model.ads
 900  glib-main.adb
 901  glib-main.ads
 902  glib-menu.adb
 903  glib-menu.ads
 904  glib-menu_model.adb
 905  glib-menu_model.ads
 906  glib-messages.adb
 907  glib-messages.ads
 908  glib-module.adb
 909  glib-module.ads
 910  glib-notification.adb
 911  glib-notification.ads
 912  glib-object.adb
 913  glib-object.ads
 914  glib-option.adb
 915  glib-option.ads
 916  glib-poll.adb
 917  glib-poll.ads
 918  glib-properties-creation.adb
 919  glib-properties-creation.ads
 920  glib-properties.adb
 921  glib-properties.ads
 922  glib-simple_action.adb
 923  glib-simple_action.ads
 924  glib-simple_action_group.adb
 925  glib-simple_action_group.ads
 926  glib-spawn.adb
 927  glib-spawn.ads
 928  glib-string.adb
 929  glib-string.ads
 930  glib-type_conversion_hooks.adb
 931  glib-type_conversion_hooks.ads
 932  glib-types.adb
 933  glib-types.ads
 934  glib-unicode.adb
 935  glib-unicode.ads
 936  glib-utils.adb
 937  glib-utils.ads
 938  glib-values.adb
 939  glib-values.ads
 940  glib-variant.adb
 941  glib-variant.ads
 942  glib-xml.adb
 943  glib-xml.ads
 944  glib-xml_int.ads
 945  glib.adb
 946  glib.ads
 947  gtk-about_dialog.adb
 948  gtk-about_dialog.ads
 949  gtk-accel_group.adb
 950  gtk-accel_group.ads
 951  gtk-accel_label.adb
 952  gtk-accel_label.ads
 953  gtk-accel_map.adb
 954  gtk-accel_map.ads
 955  gtk-action.adb
 956  gtk-action.ads
 957  gtk-action_bar.adb
 958  gtk-action_bar.ads
 959  gtk-action_group.adb
 960  gtk-action_group.ads
 961  gtk-actionable.adb
 962  gtk-actionable.ads
 963  gtk-activatable.adb
 964  gtk-activatable.ads
 965  gtk-adjustment.adb
 966  gtk-adjustment.ads
 967  gtk-alignment.adb
 968  gtk-alignment.ads
 969  gtk-application.adb
 970  gtk-application.ads
 971  gtk-application_window.adb
 972  gtk-application_window.ads
 973  gtk-arguments.adb
 974  gtk-arguments.ads
 975  gtk-arrow.adb
 976  gtk-arrow.ads
 977  gtk-aspect_frame.adb
 978  gtk-aspect_frame.ads
 979  gtk-assistant.adb
 980  gtk-assistant.ads
 981  gtk-bin.adb
 982  gtk-bin.ads
 983  gtk-binding_set.adb
 984  gtk-binding_set.ads
 985  gtk-bindings.adb
 986  gtk-bindings.ads
 987  gtk-box.adb
 988  gtk-box.ads
 989  gtk-buildable.adb
 990  gtk-buildable.ads
 991  gtk-builder.adb
 992  gtk-builder.ads
 993  gtk-button.adb
 994  gtk-button.ads
 995  gtk-button_box.adb
 996  gtk-button_box.ads
 997  gtk-calendar.adb
 998  gtk-calendar.ads
 999  gtk-cell_area.adb
1000  gtk-cell_area.ads
1001  gtk-cell_area_box.adb
1002  gtk-cell_area_box.ads
1003  gtk-cell_area_context.adb
1004  gtk-cell_area_context.ads
1005  gtk-cell_editable.adb
1006  gtk-cell_editable.ads
1007  gtk-cell_layout.adb
1008  gtk-cell_layout.ads
1009  gtk-cell_renderer.adb
1010  gtk-cell_renderer.ads
1011  gtk-cell_renderer_accel.adb
1012  gtk-cell_renderer_accel.ads
1013  gtk-cell_renderer_combo.adb
1014  gtk-cell_renderer_combo.ads
1015  gtk-cell_renderer_pixbuf.adb
1016  gtk-cell_renderer_pixbuf.ads
1017  gtk-cell_renderer_progress.adb
1018  gtk-cell_renderer_progress.ads
1019  gtk-cell_renderer_spin.adb
1020  gtk-cell_renderer_spin.ads
1021  gtk-cell_renderer_spinner.adb
1022  gtk-cell_renderer_spinner.ads
1023  gtk-cell_renderer_text.adb
1024  gtk-cell_renderer_text.ads
1025  gtk-cell_renderer_toggle.adb
1026  gtk-cell_renderer_toggle.ads
1027  gtk-cell_view.adb
1028  gtk-cell_view.ads
1029  gtk-check_button.adb
1030  gtk-check_button.ads
1031  gtk-check_menu_item.adb
1032  gtk-check_menu_item.ads
1033  gtk-clipboard.adb
1034  gtk-clipboard.ads
1035  gtk-color_button.adb
1036  gtk-color_button.ads
1037  gtk-color_chooser.adb
1038  gtk-color_chooser.ads
1039  gtk-color_chooser_dialog.adb
1040  gtk-color_chooser_dialog.ads
1041  gtk-color_chooser_widget.adb
1042  gtk-color_chooser_widget.ads
1043  gtk-color_selection.adb
1044  gtk-color_selection.ads
1045  gtk-color_selection_dialog.adb
1046  gtk-color_selection_dialog.ads
1047  gtk-combo_box.adb
1048  gtk-combo_box.ads
1049  gtk-combo_box_text.adb
1050  gtk-combo_box_text.ads
1051  gtk-container.adb
1052  gtk-container.ads
1053  gtk-css_provider.adb
1054  gtk-css_provider.ads
1055  gtk-css_section.adb
1056  gtk-css_section.ads
1057  gtk-dialog.adb
1058  gtk-dialog.ads
1059  gtk-dnd.adb
1060  gtk-dnd.ads
1061  gtk-drawing_area.adb
1062  gtk-drawing_area.ads
1063  gtk-editable.adb
1064  gtk-editable.ads
1065  gtk-entry_buffer.adb
1066  gtk-entry_buffer.ads
1067  gtk-entry_completion.adb
1068  gtk-entry_completion.ads
1069  gtk-enums.adb
1070  gtk-enums.ads
1071  gtk-event_box.adb
1072  gtk-event_box.ads
1073  gtk-event_controller.adb
1074  gtk-event_controller.ads
1075  gtk-expander.adb
1076  gtk-expander.ads
1077  gtk-file_chooser.adb
1078  gtk-file_chooser.ads
1079  gtk-file_chooser_button.adb
1080  gtk-file_chooser_button.ads
1081  gtk-file_chooser_dialog.adb
1082  gtk-file_chooser_dialog.ads
1083  gtk-file_chooser_widget.adb
1084  gtk-file_chooser_widget.ads
1085  gtk-file_filter.adb
1086  gtk-file_filter.ads
1087  gtk-fixed.adb
1088  gtk-fixed.ads
1089  gtk-flow_box.adb
1090  gtk-flow_box.ads
1091  gtk-flow_box_child.adb
1092  gtk-flow_box_child.ads
1093  gtk-font_button.adb
1094  gtk-font_button.ads
1095  gtk-font_chooser.adb
1096  gtk-font_chooser.ads
1097  gtk-font_chooser_dialog.adb
1098  gtk-font_chooser_dialog.ads
1099  gtk-font_chooser_widget.adb
1100  gtk-font_chooser_widget.ads
1101  gtk-font_selection.adb
1102  gtk-font_selection.ads
1103  gtk-font_selection_dialog.adb
1104  gtk-font_selection_dialog.ads
1105  gtk-frame.adb
1106  gtk-frame.ads
1107  gtk-gentry.adb
1108  gtk-gentry.ads
1109  gtk-gesture.adb
1110  gtk-gesture.ads
1111  gtk-gesture_drag.adb
1112  gtk-gesture_drag.ads
1113  gtk-gesture_long_press.adb
1114  gtk-gesture_long_press.ads
1115  gtk-gesture_multi_press.adb
1116  gtk-gesture_multi_press.ads
1117  gtk-gesture_pan.adb
1118  gtk-gesture_pan.ads
1119  gtk-gesture_rotate.adb
1120  gtk-gesture_rotate.ads
1121  gtk-gesture_single.adb
1122  gtk-gesture_single.ads
1123  gtk-gesture_swipe.adb
1124  gtk-gesture_swipe.ads
1125  gtk-gesture_zoom.adb
1126  gtk-gesture_zoom.ads
1127  gtk-glarea.adb
1128  gtk-glarea.ads
1129  gtk-gradient.adb
1130  gtk-gradient.ads
1131  gtk-grange.adb
1132  gtk-grange.ads
1133  gtk-grid.adb
1134  gtk-grid.ads
1135  gtk-handle_box.adb
1136  gtk-handle_box.ads
1137  gtk-handlers.adb
1138  gtk-handlers.ads
1139  gtk-hbutton_box.adb
1140  gtk-hbutton_box.ads
1141  gtk-header_bar.adb
1142  gtk-header_bar.ads
1143  gtk-hsv.adb
1144  gtk-hsv.ads
1145  gtk-icon_factory.adb
1146  gtk-icon_factory.ads
1147  gtk-icon_set.adb
1148  gtk-icon_set.ads
1149  gtk-icon_source.adb
1150  gtk-icon_source.ads
1151  gtk-icon_theme.adb
1152  gtk-icon_theme.ads
1153  gtk-icon_view.adb
1154  gtk-icon_view.ads
1155  gtk-im_context.adb
1156  gtk-im_context.ads
1157  gtk-im_context_simple.adb
1158  gtk-im_context_simple.ads
1159  gtk-im_multi_context.adb
1160  gtk-im_multi_context.ads
1161  gtk-image.adb
1162  gtk-image.ads
1163  gtk-image_menu_item.adb
1164  gtk-image_menu_item.ads
1165  gtk-info_bar.adb
1166  gtk-info_bar.ads
1167  gtk-invisible.adb
1168  gtk-invisible.ads
1169  gtk-label.adb
1170  gtk-label.ads
1171  gtk-layout.adb
1172  gtk-layout.ads
1173  gtk-level_bar.adb
1174  gtk-level_bar.ads
1175  gtk-link_button.adb
1176  gtk-link_button.ads
1177  gtk-list_box.adb
1178  gtk-list_box.ads
1179  gtk-list_box_row.adb
1180  gtk-list_box_row.ads
1181  gtk-list_store.adb
1182  gtk-list_store.ads
1183  gtk-main.adb
1184  gtk-main.ads
1185  gtk-marshallers.adb
1186  gtk-marshallers.ads
1187  gtk-menu.adb
1188  gtk-menu.ads
1189  gtk-menu_bar.adb
1190  gtk-menu_bar.ads
1191  gtk-menu_button.adb
1192  gtk-menu_button.ads
1193  gtk-menu_item.adb
1194  gtk-menu_item.ads
1195  gtk-menu_shell.adb
1196  gtk-menu_shell.ads
1197  gtk-menu_tool_button.adb
1198  gtk-menu_tool_button.ads
1199  gtk-message_dialog.adb
1200  gtk-message_dialog.ads
1201  gtk-misc.adb
1202  gtk-misc.ads
1203  gtk-notebook.adb
1204  gtk-notebook.ads
1205  gtk-offscreen_window.adb
1206  gtk-offscreen_window.ads
1207  gtk-orientable.adb
1208  gtk-orientable.ads
1209  gtk-overlay.adb
1210  gtk-overlay.ads
1211  gtk-page_setup.adb
1212  gtk-page_setup.ads
1213  gtk-paned.adb
1214  gtk-paned.ads
1215  gtk-paper_size.adb
1216  gtk-paper_size.ads
1217  gtk-popover.adb
1218  gtk-popover.ads
1219  gtk-print_context.adb
1220  gtk-print_context.ads
1221  gtk-print_operation.adb
1222  gtk-print_operation.ads
1223  gtk-print_operation_preview.adb
1224  gtk-print_operation_preview.ads
1225  gtk-print_settings.adb
1226  gtk-print_settings.ads
1227  gtk-progress_bar.adb
1228  gtk-progress_bar.ads
1229  gtk-radio_action.adb
1230  gtk-radio_action.ads
1231  gtk-radio_button.adb
1232  gtk-radio_button.ads
1233  gtk-radio_menu_item.adb
1234  gtk-radio_menu_item.ads
1235  gtk-radio_tool_button.adb
1236  gtk-radio_tool_button.ads
1237  gtk-rc.adb
1238  gtk-rc.ads
1239  gtk-recent_action.adb
1240  gtk-recent_action.ads
1241  gtk-recent_chooser.adb
1242  gtk-recent_chooser.ads
1243  gtk-recent_chooser_dialog.adb
1244  gtk-recent_chooser_dialog.ads
1245  gtk-recent_chooser_menu.adb
1246  gtk-recent_chooser_menu.ads
1247  gtk-recent_chooser_widget.adb
1248  gtk-recent_chooser_widget.ads
1249  gtk-recent_filter.adb
1250  gtk-recent_filter.ads
1251  gtk-recent_info.adb
1252  gtk-recent_info.ads
1253  gtk-recent_manager.adb
1254  gtk-recent_manager.ads
1255  gtk-revealer.adb
1256  gtk-revealer.ads
1257  gtk-scale.adb
1258  gtk-scale.ads
1259  gtk-scale_button.adb
1260  gtk-scale_button.ads
1261  gtk-scrollable.adb
1262  gtk-scrollable.ads
1263  gtk-scrollbar.adb
1264  gtk-scrollbar.ads
1265  gtk-scrolled_window.adb
1266  gtk-scrolled_window.ads
1267  gtk-search_bar.adb
1268  gtk-search_bar.ads
1269  gtk-search_entry.adb
1270  gtk-search_entry.ads
1271  gtk-selection_data.adb
1272  gtk-selection_data.ads
1273  gtk-separator.adb
1274  gtk-separator.ads
1275  gtk-separator_menu_item.adb
1276  gtk-separator_menu_item.ads
1277  gtk-separator_tool_item.adb
1278  gtk-separator_tool_item.ads
1279  gtk-settings.adb
1280  gtk-settings.ads
1281  gtk-shortcuts_window.adb
1282  gtk-shortcuts_window.ads
1283  gtk-size_group.adb
1284  gtk-size_group.ads
1285  gtk-spin_button.adb
1286  gtk-spin_button.ads
1287  gtk-spinner.adb
1288  gtk-spinner.ads
1289  gtk-stack.adb
1290  gtk-stack.ads
1291  gtk-stack_switcher.adb
1292  gtk-stack_switcher.ads
1293  gtk-status_bar.adb
1294  gtk-status_bar.ads
1295  gtk-status_icon.adb
1296  gtk-status_icon.ads
1297  gtk-stock.adb
1298  gtk-stock.ads
1299  gtk-style.adb
1300  gtk-style.ads
1301  gtk-style_context.adb
1302  gtk-style_context.ads
1303  gtk-style_properties.adb
1304  gtk-style_properties.ads
1305  gtk-style_provider.adb
1306  gtk-style_provider.ads
1307  gtk-switch.adb
1308  gtk-switch.ads
1309  gtk-symbolic_color.adb
1310  gtk-symbolic_color.ads
1311  gtk-table.adb
1312  gtk-table.ads
1313  gtk-target_entry.adb
1314  gtk-target_entry.ads
1315  gtk-target_list.adb
1316  gtk-target_list.ads
1317  gtk-tearoff_menu_item.adb
1318  gtk-tearoff_menu_item.ads
1319  gtk-text_attributes.adb
1320  gtk-text_attributes.ads
1321  gtk-text_buffer.adb
1322  gtk-text_buffer.ads
1323  gtk-text_child.adb
1324  gtk-text_child.ads
1325  gtk-text_child_anchor.adb
1326  gtk-text_child_anchor.ads
1327  gtk-text_iter.adb
1328  gtk-text_iter.ads
1329  gtk-text_mark.adb
1330  gtk-text_mark.ads
1331  gtk-text_tag.adb
1332  gtk-text_tag.ads
1333  gtk-text_tag_table.adb
1334  gtk-text_tag_table.ads
1335  gtk-text_view.adb
1336  gtk-text_view.ads
1337  gtk-theming_engine.adb
1338  gtk-theming_engine.ads
1339  gtk-toggle_action.adb
1340  gtk-toggle_action.ads
1341  gtk-toggle_button.adb
1342  gtk-toggle_button.ads
1343  gtk-toggle_tool_button.adb
1344  gtk-toggle_tool_button.ads
1345  gtk-tool_button.adb
1346  gtk-tool_button.ads
1347  gtk-tool_item.adb
1348  gtk-tool_item.ads
1349  gtk-tool_item_group.adb
1350  gtk-tool_item_group.ads
1351  gtk-tool_palette.adb
1352  gtk-tool_palette.ads
1353  gtk-tool_shell.adb
1354  gtk-tool_shell.ads
1355  gtk-toolbar.adb
1356  gtk-toolbar.ads
1357  gtk-tooltip.adb
1358  gtk-tooltip.ads
1359  gtk-tree_drag_dest.adb
1360  gtk-tree_drag_dest.ads
1361  gtk-tree_drag_source.adb
1362  gtk-tree_drag_source.ads
1363  gtk-tree_model-utils.adb
1364  gtk-tree_model-utils.ads
1365  gtk-tree_model.adb
1366  gtk-tree_model.ads
1367  gtk-tree_model_filter.adb
1368  gtk-tree_model_filter.ads
1369  gtk-tree_model_sort.adb
1370  gtk-tree_model_sort.ads
1371  gtk-tree_row_reference.adb
1372  gtk-tree_row_reference.ads
1373  gtk-tree_selection.adb
1374  gtk-tree_selection.ads
1375  gtk-tree_sortable.adb
1376  gtk-tree_sortable.ads
1377  gtk-tree_store.adb
1378  gtk-tree_store.ads
1379  gtk-tree_view.adb
1380  gtk-tree_view.ads
1381  gtk-tree_view_column.adb
1382  gtk-tree_view_column.ads
1383  gtk-type_conversion.adb
1384  gtk-type_conversion.ads
1385  gtk-ui_manager.adb
1386  gtk-ui_manager.ads
1387  gtk-vbutton_box.adb
1388  gtk-vbutton_box.ads
1389  gtk-viewport.adb
1390  gtk-viewport.ads
1391  gtk-volume_button.adb
1392  gtk-volume_button.ads
1393  gtk-widget.adb
1394  gtk-widget.ads
1395  gtk-window.adb
1396  gtk-window.ads
1397  gtk.ads
1398  gtkada-abstract_list_model.adb
1399  gtkada-abstract_list_model.ads
1400  gtkada-abstract_tree_model.adb
1401  gtkada-abstract_tree_model.ads
1402  gtkada-application.adb
1403  gtkada-application.ads
1404  gtkada-bindings.adb
1405  gtkada-bindings.ads
1406  gtkada-builder.adb
1407  gtkada-builder.ads
1408  gtkada-c.adb
1409  gtkada-c.ads
1410  gtkada-canvas.adb
1411  gtkada-canvas.ads
1412  gtkada-canvas_view-astar.adb
1413  gtkada-canvas_view-astar.ads
1414  gtkada-canvas_view-links.adb
1415  gtkada-canvas_view-links.ads
1416  gtkada-canvas_view-models-layers.adb
1417  gtkada-canvas_view-models-layers.ads
1418  gtkada-canvas_view-models.adb
1419  gtkada-canvas_view-models.ads
1420  gtkada-canvas_view-objects.adb
1421  gtkada-canvas_view-objects.ads
1422  gtkada-canvas_view-rtrees.adb
1423  gtkada-canvas_view-rtrees.ads
1424  gtkada-canvas_view-views.adb
1425  gtkada-canvas_view-views.ads
1426  gtkada-canvas_view.adb
1427  gtkada-canvas_view.ads
1428  gtkada-dialogs.adb
1429  gtkada-dialogs.ads
1430  gtkada-file_selection.adb
1431  gtkada-file_selection.ads
1432  gtkada-handlers.ads
1433  gtkada-intl.adb
1434  gtkada-intl.ads
1435  gtkada-mdi-close_button.adb
1436  gtkada-mdi-maximize_action.adb
1437  gtkada-mdi.adb
1438  gtkada-mdi.ads
1439  gtkada-multi_paned.adb
1440  gtkada-multi_paned.ads
1441  gtkada-multiline_entry.adb
1442  gtkada-multiline_entry.ads
1443  gtkada-pixmaps.ads
1444  gtkada-printing.adb
1445  gtkada-printing.ads
1446  gtkada-style.adb
1447  gtkada-style.ads
1448  gtkada-types.adb
1449  gtkada-types.ads
1450  gtkada.ads
1451  misc.c
1452  misc_generated.c
1453  misc_osx.h
1454  pango-attributes.adb
1455  pango-attributes.ads
1456  pango-cairo.adb
1457  pango-cairo.ads
1458  pango-context.adb
1459  pango-context.ads
1460  pango-coverage.adb
1461  pango-coverage.ads
1462  pango-enums.adb
1463  pango-enums.ads
1464  pango-font.adb
1465  pango-font.ads
1466  pango-font_face.adb
1467  pango-font_face.ads
1468  pango-font_family.adb
1469  pango-font_family.ads
1470  pango-font_map.adb
1471  pango-font_map.ads
1472  pango-font_metrics.adb
1473  pango-font_metrics.ads
1474  pango-fontset.adb
1475  pango-fontset.ads
1476  pango-language.adb
1477  pango-language.ads
1478  pango-layout.adb
1479  pango-layout.ads
1480  pango-matrix.adb
1481  pango-matrix.ads
1482  pango-tabs.adb
1483  pango-tabs.ads
1484  pango.ads
1485 include/gtkada/gtkada.static/gtkada/
1486  cairo-font_face.ads
1487  cairo-font_options.adb
1488  cairo-font_options.ads
1489  cairo-image_surface.adb
1490  cairo-image_surface.ads
1491  cairo-matrix.ads
1492  cairo-pattern.ads
1493  cairo-pdf.adb
1494  cairo-pdf.ads
1495  cairo-png.adb
1496  cairo-png.ads
1497  cairo-region.adb
1498  cairo-region.ads
1499  cairo-scaled_font.ads
1500  cairo-surface.adb
1501  cairo-surface.ads
1502  cairo-svg.adb
1503  cairo-svg.ads
1504  cairo.adb
1505  cairo.ads
1506  fontconfig.adb
1507  fontconfig.ads
1508  gdk-cairo.adb
1509  gdk-cairo.ads
1510  gdk-color.adb
1511  gdk-color.ads
1512  gdk-cursor.adb
1513  gdk-cursor.ads
1514  gdk-device.adb
1515  gdk-device.ads
1516  gdk-device_manager.adb
1517  gdk-device_manager.ads
1518  gdk-device_tool.adb
1519  gdk-device_tool.ads
1520  gdk-display.adb
1521  gdk-display.ads
1522  gdk-display_manager.adb
1523  gdk-display_manager.ads
1524  gdk-dnd.adb
1525  gdk-dnd.ads
1526  gdk-drag_contexts.adb
1527  gdk-drag_contexts.ads
1528  gdk-drawing_context.adb
1529  gdk-drawing_context.ads
1530  gdk-event.adb
1531  gdk-event.ads
1532  gdk-frame_clock.adb
1533  gdk-frame_clock.ads
1534  gdk-frame_timings.adb
1535  gdk-frame_timings.ads
1536  gdk-glcontext.adb
1537  gdk-glcontext.ads
1538  gdk-input.ads
1539  gdk-keyval.adb
1540  gdk-keyval.ads
1541  gdk-main.adb
1542  gdk-main.ads
1543  gdk-monitor.adb
1544  gdk-monitor.ads
1545  gdk-pixbuf.adb
1546  gdk-pixbuf.ads
1547  gdk-property.adb
1548  gdk-property.ads
1549  gdk-rectangle.adb
1550  gdk-rectangle.ads
1551  gdk-rgba.adb
1552  gdk-rgba.ads
1553  gdk-screen.adb
1554  gdk-screen.ads
1555  gdk-seat.adb
1556  gdk-seat.ads
1557  gdk-threads.ads
1558  gdk-types-keysyms.ads
1559  gdk-types.ads
1560  gdk-visual.adb
1561  gdk-visual.ads
1562  gdk-window.adb
1563  gdk-window.ads
1564  gdk-window_attr.adb
1565  gdk-window_attr.ads
1566  gdk.ads
1567  glib-action.adb
1568  glib-action.ads
1569  glib-action_group.adb
1570  glib-action_group.ads
1571  glib-action_map.adb
1572  glib-action_map.ads
1573  glib-application.adb
1574  glib-application.ads
1575  glib-cancellable.adb
1576  glib-cancellable.ads
1577  glib-convert.adb
1578  glib-convert.ads
1579  glib-enums.ads
1580  glib-error.adb
1581  glib-error.ads
1582  glib-g_icon.adb
1583  glib-g_icon.ads
1584  glib-generic_properties.adb
1585  glib-generic_properties.ads
1586  glib-glist.adb
1587  glib-glist.ads
1588  glib-gnodes.adb
1589  glib-gnodes.ads
1590  glib-graphs-layouts.adb
1591  glib-graphs-layouts.ads
1592  glib-graphs.adb
1593  glib-graphs.ads
1594  glib-gslist.adb
1595  glib-gslist.ads
1596  glib-iochannel.adb
1597  glib-iochannel.ads
1598  glib-key_file.adb
1599  glib-key_file.ads
1600  glib-list_model.adb
1601  glib-list_model.ads
1602  glib-main.adb
1603  glib-main.ads
1604  glib-menu.adb
1605  glib-menu.ads
1606  glib-menu_model.adb
1607  glib-menu_model.ads
1608  glib-messages.adb
1609  glib-messages.ads
1610  glib-module.adb
1611  glib-module.ads
1612  glib-notification.adb
1613  glib-notification.ads
1614  glib-object.adb
1615  glib-object.ads
1616  glib-option.adb
1617  glib-option.ads
1618  glib-poll.adb
1619  glib-poll.ads
1620  glib-properties-creation.adb
1621  glib-properties-creation.ads
1622  glib-properties.adb
1623  glib-properties.ads
1624  glib-simple_action.adb
1625  glib-simple_action.ads
1626  glib-simple_action_group.adb
1627  glib-simple_action_group.ads
1628  glib-spawn.adb
1629  glib-spawn.ads
1630  glib-string.adb
1631  glib-string.ads
1632  glib-type_conversion_hooks.adb
1633  glib-type_conversion_hooks.ads
1634  glib-types.adb
1635  glib-types.ads
1636  glib-unicode.adb
1637  glib-unicode.ads
1638  glib-utils.adb
1639  glib-utils.ads
1640  glib-values.adb
1641  glib-values.ads
1642  glib-variant.adb
1643  glib-variant.ads
1644  glib-xml.adb
1645  glib-xml.ads
1646  glib-xml_int.ads
1647  glib.adb
1648  glib.ads
1649  gtk-about_dialog.adb
1650  gtk-about_dialog.ads
1651  gtk-accel_group.adb
1652  gtk-accel_group.ads
1653  gtk-accel_label.adb
1654  gtk-accel_label.ads
1655  gtk-accel_map.adb
1656  gtk-accel_map.ads
1657  gtk-action.adb
1658  gtk-action.ads
1659  gtk-action_bar.adb
1660  gtk-action_bar.ads
1661  gtk-action_group.adb
1662  gtk-action_group.ads
1663  gtk-actionable.adb
1664  gtk-actionable.ads
1665  gtk-activatable.adb
1666  gtk-activatable.ads
1667  gtk-adjustment.adb
1668  gtk-adjustment.ads
1669  gtk-alignment.adb
1670  gtk-alignment.ads
1671  gtk-application.adb
1672  gtk-application.ads
1673  gtk-application_window.adb
1674  gtk-application_window.ads
1675  gtk-arguments.adb
1676  gtk-arguments.ads
1677  gtk-arrow.adb
1678  gtk-arrow.ads
1679  gtk-aspect_frame.adb
1680  gtk-aspect_frame.ads
1681  gtk-assistant.adb
1682  gtk-assistant.ads
1683  gtk-bin.adb
1684  gtk-bin.ads
1685  gtk-binding_set.adb
1686  gtk-binding_set.ads
1687  gtk-bindings.adb
1688  gtk-bindings.ads
1689  gtk-box.adb
1690  gtk-box.ads
1691  gtk-buildable.adb
1692  gtk-buildable.ads
1693  gtk-builder.adb
1694  gtk-builder.ads
1695  gtk-button.adb
1696  gtk-button.ads
1697  gtk-button_box.adb
1698  gtk-button_box.ads
1699  gtk-calendar.adb
1700  gtk-calendar.ads
1701  gtk-cell_area.adb
1702  gtk-cell_area.ads
1703  gtk-cell_area_box.adb
1704  gtk-cell_area_box.ads
1705  gtk-cell_area_context.adb
1706  gtk-cell_area_context.ads
1707  gtk-cell_editable.adb
1708  gtk-cell_editable.ads
1709  gtk-cell_layout.adb
1710  gtk-cell_layout.ads
1711  gtk-cell_renderer.adb
1712  gtk-cell_renderer.ads
1713  gtk-cell_renderer_accel.adb
1714  gtk-cell_renderer_accel.ads
1715  gtk-cell_renderer_combo.adb
1716  gtk-cell_renderer_combo.ads
1717  gtk-cell_renderer_pixbuf.adb
1718  gtk-cell_renderer_pixbuf.ads
1719  gtk-cell_renderer_progress.adb
1720  gtk-cell_renderer_progress.ads
1721  gtk-cell_renderer_spin.adb
1722  gtk-cell_renderer_spin.ads
1723  gtk-cell_renderer_spinner.adb
1724  gtk-cell_renderer_spinner.ads
1725  gtk-cell_renderer_text.adb
1726  gtk-cell_renderer_text.ads
1727  gtk-cell_renderer_toggle.adb
1728  gtk-cell_renderer_toggle.ads
1729  gtk-cell_view.adb
1730  gtk-cell_view.ads
1731  gtk-check_button.adb
1732  gtk-check_button.ads
1733  gtk-check_menu_item.adb
1734  gtk-check_menu_item.ads
1735  gtk-clipboard.adb
1736  gtk-clipboard.ads
1737  gtk-color_button.adb
1738  gtk-color_button.ads
1739  gtk-color_chooser.adb
1740  gtk-color_chooser.ads
1741  gtk-color_chooser_dialog.adb
1742  gtk-color_chooser_dialog.ads
1743  gtk-color_chooser_widget.adb
1744  gtk-color_chooser_widget.ads
1745  gtk-color_selection.adb
1746  gtk-color_selection.ads
1747  gtk-color_selection_dialog.adb
1748  gtk-color_selection_dialog.ads
1749  gtk-combo_box.adb
1750  gtk-combo_box.ads
1751  gtk-combo_box_text.adb
1752  gtk-combo_box_text.ads
1753  gtk-container.adb
1754  gtk-container.ads
1755  gtk-css_provider.adb
1756  gtk-css_provider.ads
1757  gtk-css_section.adb
1758  gtk-css_section.ads
1759  gtk-dialog.adb
1760  gtk-dialog.ads
1761  gtk-dnd.adb
1762  gtk-dnd.ads
1763  gtk-drawing_area.adb
1764  gtk-drawing_area.ads
1765  gtk-editable.adb
1766  gtk-editable.ads
1767  gtk-entry_buffer.adb
1768  gtk-entry_buffer.ads
1769  gtk-entry_completion.adb
1770  gtk-entry_completion.ads
1771  gtk-enums.adb
1772  gtk-enums.ads
1773  gtk-event_box.adb
1774  gtk-event_box.ads
1775  gtk-event_controller.adb
1776  gtk-event_controller.ads
1777  gtk-expander.adb
1778  gtk-expander.ads
1779  gtk-file_chooser.adb
1780  gtk-file_chooser.ads
1781  gtk-file_chooser_button.adb
1782  gtk-file_chooser_button.ads
1783  gtk-file_chooser_dialog.adb
1784  gtk-file_chooser_dialog.ads
1785  gtk-file_chooser_widget.adb
1786  gtk-file_chooser_widget.ads
1787  gtk-file_filter.adb
1788  gtk-file_filter.ads
1789  gtk-fixed.adb
1790  gtk-fixed.ads
1791  gtk-flow_box.adb
1792  gtk-flow_box.ads
1793  gtk-flow_box_child.adb
1794  gtk-flow_box_child.ads
1795  gtk-font_button.adb
1796  gtk-font_button.ads
1797  gtk-font_chooser.adb
1798  gtk-font_chooser.ads
1799  gtk-font_chooser_dialog.adb
1800  gtk-font_chooser_dialog.ads
1801  gtk-font_chooser_widget.adb
1802  gtk-font_chooser_widget.ads
1803  gtk-font_selection.adb
1804  gtk-font_selection.ads
1805  gtk-font_selection_dialog.adb
1806  gtk-font_selection_dialog.ads
1807  gtk-frame.adb
1808  gtk-frame.ads
1809  gtk-gentry.adb
1810  gtk-gentry.ads
1811  gtk-gesture.adb
1812  gtk-gesture.ads
1813  gtk-gesture_drag.adb
1814  gtk-gesture_drag.ads
1815  gtk-gesture_long_press.adb
1816  gtk-gesture_long_press.ads
1817  gtk-gesture_multi_press.adb
1818  gtk-gesture_multi_press.ads
1819  gtk-gesture_pan.adb
1820  gtk-gesture_pan.ads
1821  gtk-gesture_rotate.adb
1822  gtk-gesture_rotate.ads
1823  gtk-gesture_single.adb
1824  gtk-gesture_single.ads
1825  gtk-gesture_swipe.adb
1826  gtk-gesture_swipe.ads
1827  gtk-gesture_zoom.adb
1828  gtk-gesture_zoom.ads
1829  gtk-glarea.adb
1830  gtk-glarea.ads
1831  gtk-gradient.adb
1832  gtk-gradient.ads
1833  gtk-grange.adb
1834  gtk-grange.ads
1835  gtk-grid.adb
1836  gtk-grid.ads
1837  gtk-handle_box.adb
1838  gtk-handle_box.ads
1839  gtk-handlers.adb
1840  gtk-handlers.ads
1841  gtk-hbutton_box.adb
1842  gtk-hbutton_box.ads
1843  gtk-header_bar.adb
1844  gtk-header_bar.ads
1845  gtk-hsv.adb
1846  gtk-hsv.ads
1847  gtk-icon_factory.adb
1848  gtk-icon_factory.ads
1849  gtk-icon_set.adb
1850  gtk-icon_set.ads
1851  gtk-icon_source.adb
1852  gtk-icon_source.ads
1853  gtk-icon_theme.adb
1854  gtk-icon_theme.ads
1855  gtk-icon_view.adb
1856  gtk-icon_view.ads
1857  gtk-im_context.adb
1858  gtk-im_context.ads
1859  gtk-im_context_simple.adb
1860  gtk-im_context_simple.ads
1861  gtk-im_multi_context.adb
1862  gtk-im_multi_context.ads
1863  gtk-image.adb
1864  gtk-image.ads
1865  gtk-image_menu_item.adb
1866  gtk-image_menu_item.ads
1867  gtk-info_bar.adb
1868  gtk-info_bar.ads
1869  gtk-invisible.adb
1870  gtk-invisible.ads
1871  gtk-label.adb
1872  gtk-label.ads
1873  gtk-layout.adb
1874  gtk-layout.ads
1875  gtk-level_bar.adb
1876  gtk-level_bar.ads
1877  gtk-link_button.adb
1878  gtk-link_button.ads
1879  gtk-list_box.adb
1880  gtk-list_box.ads
1881  gtk-list_box_row.adb
1882  gtk-list_box_row.ads
1883  gtk-list_store.adb
1884  gtk-list_store.ads
1885  gtk-main.adb
1886  gtk-main.ads
1887  gtk-marshallers.adb
1888  gtk-marshallers.ads
1889  gtk-menu.adb
1890  gtk-menu.ads
1891  gtk-menu_bar.adb
1892  gtk-menu_bar.ads
1893  gtk-menu_button.adb
1894  gtk-menu_button.ads
1895  gtk-menu_item.adb
1896  gtk-menu_item.ads
1897  gtk-menu_shell.adb
1898  gtk-menu_shell.ads
1899  gtk-menu_tool_button.adb
1900  gtk-menu_tool_button.ads
1901  gtk-message_dialog.adb
1902  gtk-message_dialog.ads
1903  gtk-misc.adb
1904  gtk-misc.ads
1905  gtk-notebook.adb
1906  gtk-notebook.ads
1907  gtk-offscreen_window.adb
1908  gtk-offscreen_window.ads
1909  gtk-orientable.adb
1910  gtk-orientable.ads
1911  gtk-overlay.adb
1912  gtk-overlay.ads
1913  gtk-page_setup.adb
1914  gtk-page_setup.ads
1915  gtk-paned.adb
1916  gtk-paned.ads
1917  gtk-paper_size.adb
1918  gtk-paper_size.ads
1919  gtk-popover.adb
1920  gtk-popover.ads
1921  gtk-print_context.adb
1922  gtk-print_context.ads
1923  gtk-print_operation.adb
1924  gtk-print_operation.ads
1925  gtk-print_operation_preview.adb
1926  gtk-print_operation_preview.ads
1927  gtk-print_settings.adb
1928  gtk-print_settings.ads
1929  gtk-progress_bar.adb
1930  gtk-progress_bar.ads
1931  gtk-radio_action.adb
1932  gtk-radio_action.ads
1933  gtk-radio_button.adb
1934  gtk-radio_button.ads
1935  gtk-radio_menu_item.adb
1936  gtk-radio_menu_item.ads
1937  gtk-radio_tool_button.adb
1938  gtk-radio_tool_button.ads
1939  gtk-rc.adb
1940  gtk-rc.ads
1941  gtk-recent_action.adb
1942  gtk-recent_action.ads
1943  gtk-recent_chooser.adb
1944  gtk-recent_chooser.ads
1945  gtk-recent_chooser_dialog.adb
1946  gtk-recent_chooser_dialog.ads
1947  gtk-recent_chooser_menu.adb
1948  gtk-recent_chooser_menu.ads
1949  gtk-recent_chooser_widget.adb
1950  gtk-recent_chooser_widget.ads
1951  gtk-recent_filter.adb
1952  gtk-recent_filter.ads
1953  gtk-recent_info.adb
1954  gtk-recent_info.ads
1955  gtk-recent_manager.adb
1956  gtk-recent_manager.ads
1957  gtk-revealer.adb
1958  gtk-revealer.ads
1959  gtk-scale.adb
1960  gtk-scale.ads
1961  gtk-scale_button.adb
1962  gtk-scale_button.ads
1963  gtk-scrollable.adb
1964  gtk-scrollable.ads
1965  gtk-scrollbar.adb
1966  gtk-scrollbar.ads
1967  gtk-scrolled_window.adb
1968  gtk-scrolled_window.ads
1969  gtk-search_bar.adb
1970  gtk-search_bar.ads
1971  gtk-search_entry.adb
1972  gtk-search_entry.ads
1973  gtk-selection_data.adb
1974  gtk-selection_data.ads
1975  gtk-separator.adb
1976  gtk-separator.ads
1977  gtk-separator_menu_item.adb
1978  gtk-separator_menu_item.ads
1979  gtk-separator_tool_item.adb
1980  gtk-separator_tool_item.ads
1981  gtk-settings.adb
1982  gtk-settings.ads
1983  gtk-shortcuts_window.adb
1984  gtk-shortcuts_window.ads
1985  gtk-size_group.adb
1986  gtk-size_group.ads
1987  gtk-spin_button.adb
1988  gtk-spin_button.ads
1989  gtk-spinner.adb
1990  gtk-spinner.ads
1991  gtk-stack.adb
1992  gtk-stack.ads
1993  gtk-stack_switcher.adb
1994  gtk-stack_switcher.ads
1995  gtk-status_bar.adb
1996  gtk-status_bar.ads
1997  gtk-status_icon.adb
1998  gtk-status_icon.ads
1999  gtk-stock.adb
2000  gtk-stock.ads
2001  gtk-style.adb
2002  gtk-style.ads
2003  gtk-style_context.adb
2004  gtk-style_context.ads
2005  gtk-style_properties.adb
2006  gtk-style_properties.ads
2007  gtk-style_provider.adb
2008  gtk-style_provider.ads
2009  gtk-switch.adb
2010  gtk-switch.ads
2011  gtk-symbolic_color.adb
2012  gtk-symbolic_color.ads
2013  gtk-table.adb
2014  gtk-table.ads
2015  gtk-target_entry.adb
2016  gtk-target_entry.ads
2017  gtk-target_list.adb
2018  gtk-target_list.ads
2019  gtk-tearoff_menu_item.adb
2020  gtk-tearoff_menu_item.ads
2021  gtk-text_attributes.adb
2022  gtk-text_attributes.ads
2023  gtk-text_buffer.adb
2024  gtk-text_buffer.ads
2025  gtk-text_child.adb
2026  gtk-text_child.ads
2027  gtk-text_child_anchor.adb
2028  gtk-text_child_anchor.ads
2029  gtk-text_iter.adb
2030  gtk-text_iter.ads
2031  gtk-text_mark.adb
2032  gtk-text_mark.ads
2033  gtk-text_tag.adb
2034  gtk-text_tag.ads
2035  gtk-text_tag_table.adb
2036  gtk-text_tag_table.ads
2037  gtk-text_view.adb
2038  gtk-text_view.ads
2039  gtk-theming_engine.adb
2040  gtk-theming_engine.ads
2041  gtk-toggle_action.adb
2042  gtk-toggle_action.ads
2043  gtk-toggle_button.adb
2044  gtk-toggle_button.ads
2045  gtk-toggle_tool_button.adb
2046  gtk-toggle_tool_button.ads
2047  gtk-tool_button.adb
2048  gtk-tool_button.ads
2049  gtk-tool_item.adb
2050  gtk-tool_item.ads
2051  gtk-tool_item_group.adb
2052  gtk-tool_item_group.ads
2053  gtk-tool_palette.adb
2054  gtk-tool_palette.ads
2055  gtk-tool_shell.adb
2056  gtk-tool_shell.ads
2057  gtk-toolbar.adb
2058  gtk-toolbar.ads
2059  gtk-tooltip.adb
2060  gtk-tooltip.ads
2061  gtk-tree_drag_dest.adb
2062  gtk-tree_drag_dest.ads
2063  gtk-tree_drag_source.adb
2064  gtk-tree_drag_source.ads
2065  gtk-tree_model-utils.adb
2066  gtk-tree_model-utils.ads
2067  gtk-tree_model.adb
2068  gtk-tree_model.ads
2069  gtk-tree_model_filter.adb
2070  gtk-tree_model_filter.ads
2071  gtk-tree_model_sort.adb
2072  gtk-tree_model_sort.ads
2073  gtk-tree_row_reference.adb
2074  gtk-tree_row_reference.ads
2075  gtk-tree_selection.adb
2076  gtk-tree_selection.ads
2077  gtk-tree_sortable.adb
2078  gtk-tree_sortable.ads
2079  gtk-tree_store.adb
2080  gtk-tree_store.ads
2081  gtk-tree_view.adb
2082  gtk-tree_view.ads
2083  gtk-tree_view_column.adb
2084  gtk-tree_view_column.ads
2085  gtk-type_conversion.adb
2086  gtk-type_conversion.ads
2087  gtk-ui_manager.adb
2088  gtk-ui_manager.ads
2089  gtk-vbutton_box.adb
2090  gtk-vbutton_box.ads
2091  gtk-viewport.adb
2092  gtk-viewport.ads
2093  gtk-volume_button.adb
2094  gtk-volume_button.ads
2095  gtk-widget.adb
2096  gtk-widget.ads
2097  gtk-window.adb
2098  gtk-window.ads
2099  gtk.ads
2100  gtkada-abstract_list_model.adb
2101  gtkada-abstract_list_model.ads
2102  gtkada-abstract_tree_model.adb
2103  gtkada-abstract_tree_model.ads
2104  gtkada-application.adb
2105  gtkada-application.ads
2106  gtkada-bindings.adb
2107  gtkada-bindings.ads
2108  gtkada-builder.adb
2109  gtkada-builder.ads
2110  gtkada-c.adb
2111  gtkada-c.ads
2112  gtkada-canvas.adb
2113  gtkada-canvas.ads
2114  gtkada-canvas_view-astar.adb
2115  gtkada-canvas_view-astar.ads
2116  gtkada-canvas_view-links.adb
2117  gtkada-canvas_view-links.ads
2118  gtkada-canvas_view-models-layers.adb
2119  gtkada-canvas_view-models-layers.ads
2120  gtkada-canvas_view-models.adb
2121  gtkada-canvas_view-models.ads
2122  gtkada-canvas_view-objects.adb
2123  gtkada-canvas_view-objects.ads
2124  gtkada-canvas_view-rtrees.adb
2125  gtkada-canvas_view-rtrees.ads
2126  gtkada-canvas_view-views.adb
2127  gtkada-canvas_view-views.ads
2128  gtkada-canvas_view.adb
2129  gtkada-canvas_view.ads
2130  gtkada-dialogs.adb
2131  gtkada-dialogs.ads
2132  gtkada-file_selection.adb
2133  gtkada-file_selection.ads
2134  gtkada-handlers.ads
2135  gtkada-intl.adb
2136  gtkada-intl.ads
2137  gtkada-mdi-close_button.adb
2138  gtkada-mdi-maximize_action.adb
2139  gtkada-mdi.adb
2140  gtkada-mdi.ads
2141  gtkada-multi_paned.adb
2142  gtkada-multi_paned.ads
2143  gtkada-multiline_entry.adb
2144  gtkada-multiline_entry.ads
2145  gtkada-pixmaps.ads
2146  gtkada-printing.adb
2147  gtkada-printing.ads
2148  gtkada-style.adb
2149  gtkada-style.ads
2150  gtkada-types.adb
2151  gtkada-types.ads
2152  gtkada.ads
2153  misc.c
2154  misc_generated.c
2155  misc_osx.h
2156  pango-attributes.adb
2157  pango-attributes.ads
2158  pango-cairo.adb
2159  pango-cairo.ads
2160  pango-context.adb
2161  pango-context.ads
2162  pango-coverage.adb
2163  pango-coverage.ads
2164  pango-enums.adb
2165  pango-enums.ads
2166  pango-font.adb
2167  pango-font.ads
2168  pango-font_face.adb
2169  pango-font_face.ads
2170  pango-font_family.adb
2171  pango-font_family.ads
2172  pango-font_map.adb
2173  pango-font_map.ads
2174  pango-font_metrics.adb
2175  pango-font_metrics.ads
2176  pango-fontset.adb
2177  pango-fontset.ads
2178  pango-language.adb
2179  pango-language.ads
2180  pango-layout.adb
2181  pango-layout.ads
2182  pango-matrix.adb
2183  pango-matrix.ads
2184  pango-tabs.adb
2185  pango-tabs.ads
2186  pango.ads
2187 lib/libgtkada.so
2188 lib/gtkada/gtkada.relocatable/gtkada/
2189  cairo-font_face.ali
2190  cairo-font_options.ali
2191  cairo-image_surface.ali
2192  cairo-matrix.ali
2193  cairo-pattern.ali
2194  cairo-pdf.ali
2195  cairo-png.ali
2196  cairo-region.ali
2197  cairo-scaled_font.ali
2198  cairo-surface.ali
2199  cairo-svg.ali
2200  cairo.ali
2201  fontconfig.ali
2202  gdk-cairo.ali
2203  gdk-color.ali
2204  gdk-cursor.ali
2205  gdk-device.ali
2206  gdk-device_manager.ali
2207  gdk-device_tool.ali
2208  gdk-display.ali
2209  gdk-display_manager.ali
2210  gdk-dnd.ali
2211  gdk-drag_contexts.ali
2212  gdk-drawing_context.ali
2213  gdk-event.ali
2214  gdk-frame_clock.ali
2215  gdk-frame_timings.ali
2216  gdk-glcontext.ali
2217  gdk-input.ali
2218  gdk-keyval.ali
2219  gdk-main.ali
2220  gdk-monitor.ali
2221  gdk-pixbuf.ali
2222  gdk-property.ali
2223  gdk-rectangle.ali
2224  gdk-rgba.ali
2225  gdk-screen.ali
2226  gdk-seat.ali
2227  gdk-threads.ali
2228  gdk-types-keysyms.ali
2229  gdk-types.ali
2230  gdk-visual.ali
2231  gdk-window.ali
2232  gdk-window_attr.ali
2233  gdk.ali
2234  glib-action.ali
2235  glib-action_group.ali
2236  glib-action_map.ali
2237  glib-application.ali
2238  glib-cancellable.ali
2239  glib-convert.ali
2240  glib-enums.ali
2241  glib-error.ali
2242  glib-g_icon.ali
2243  glib-generic_properties.ali
2244  glib-glist.ali
2245  glib-gnodes.ali
2246  glib-graphs-layouts.ali
2247  glib-graphs.ali
2248  glib-gslist.ali
2249  glib-iochannel.ali
2250  glib-key_file.ali
2251  glib-list_model.ali
2252  glib-main.ali
2253  glib-menu.ali
2254  glib-menu_model.ali
2255  glib-messages.ali
2256  glib-module.ali
2257  glib-notification.ali
2258  glib-object.ali
2259  glib-option.ali
2260  glib-poll.ali
2261  glib-properties-creation.ali
2262  glib-properties.ali
2263  glib-simple_action.ali
2264  glib-simple_action_group.ali
2265  glib-spawn.ali
2266  glib-string.ali
2267  glib-type_conversion_hooks.ali
2268  glib-types.ali
2269  glib-unicode.ali
2270  glib-utils.ali
2271  glib-values.ali
2272  glib-variant.ali
2273  glib-xml.ali
2274  glib-xml_int.ali
2275  glib.ali
2276  gtk-about_dialog.ali
2277  gtk-accel_group.ali
2278  gtk-accel_label.ali
2279  gtk-accel_map.ali
2280  gtk-action.ali
2281  gtk-action_bar.ali
2282  gtk-action_group.ali
2283  gtk-actionable.ali
2284  gtk-activatable.ali
2285  gtk-adjustment.ali
2286  gtk-alignment.ali
2287  gtk-application.ali
2288  gtk-application_window.ali
2289  gtk-arguments.ali
2290  gtk-arrow.ali
2291  gtk-aspect_frame.ali
2292  gtk-assistant.ali
2293  gtk-bin.ali
2294  gtk-binding_set.ali
2295  gtk-bindings.ali
2296  gtk-box.ali
2297  gtk-buildable.ali
2298  gtk-builder.ali
2299  gtk-button.ali
2300  gtk-button_box.ali
2301  gtk-calendar.ali
2302  gtk-cell_area.ali
2303  gtk-cell_area_box.ali
2304  gtk-cell_area_context.ali
2305  gtk-cell_editable.ali
2306  gtk-cell_layout.ali
2307  gtk-cell_renderer.ali
2308  gtk-cell_renderer_accel.ali
2309  gtk-cell_renderer_combo.ali
2310  gtk-cell_renderer_pixbuf.ali
2311  gtk-cell_renderer_progress.ali
2312  gtk-cell_renderer_spin.ali
2313  gtk-cell_renderer_spinner.ali
2314  gtk-cell_renderer_text.ali
2315  gtk-cell_renderer_toggle.ali
2316  gtk-cell_view.ali
2317  gtk-check_button.ali
2318  gtk-check_menu_item.ali
2319  gtk-clipboard.ali
2320  gtk-color_button.ali
2321  gtk-color_chooser.ali
2322  gtk-color_chooser_dialog.ali
2323  gtk-color_chooser_widget.ali
2324  gtk-color_selection.ali
2325  gtk-color_selection_dialog.ali
2326  gtk-combo_box.ali
2327  gtk-combo_box_text.ali
2328  gtk-container.ali
2329  gtk-css_provider.ali
2330  gtk-css_section.ali
2331  gtk-dialog.ali
2332  gtk-dnd.ali
2333  gtk-drawing_area.ali
2334  gtk-editable.ali
2335  gtk-entry_buffer.ali
2336  gtk-entry_completion.ali
2337  gtk-enums.ali
2338  gtk-event_box.ali
2339  gtk-event_controller.ali
2340  gtk-expander.ali
2341  gtk-file_chooser.ali
2342  gtk-file_chooser_button.ali
2343  gtk-file_chooser_dialog.ali
2344  gtk-file_chooser_widget.ali
2345  gtk-file_filter.ali
2346  gtk-fixed.ali
2347  gtk-flow_box.ali
2348  gtk-flow_box_child.ali
2349  gtk-font_button.ali
2350  gtk-font_chooser.ali
2351  gtk-font_chooser_dialog.ali
2352  gtk-font_chooser_widget.ali
2353  gtk-font_selection.ali
2354  gtk-font_selection_dialog.ali
2355  gtk-frame.ali
2356  gtk-gentry.ali
2357  gtk-gesture.ali
2358  gtk-gesture_drag.ali
2359  gtk-gesture_long_press.ali
2360  gtk-gesture_multi_press.ali
2361  gtk-gesture_pan.ali
2362  gtk-gesture_rotate.ali
2363  gtk-gesture_single.ali
2364  gtk-gesture_swipe.ali
2365  gtk-gesture_zoom.ali
2366  gtk-glarea.ali
2367  gtk-gradient.ali
2368  gtk-grange.ali
2369  gtk-grid.ali
2370  gtk-handle_box.ali
2371  gtk-handlers.ali
2372  gtk-hbutton_box.ali
2373  gtk-header_bar.ali
2374  gtk-hsv.ali
2375  gtk-icon_factory.ali
2376  gtk-icon_set.ali
2377  gtk-icon_source.ali
2378  gtk-icon_theme.ali
2379  gtk-icon_view.ali
2380  gtk-im_context.ali
2381  gtk-im_context_simple.ali
2382  gtk-im_multi_context.ali
2383  gtk-image.ali
2384  gtk-image_menu_item.ali
2385  gtk-info_bar.ali
2386  gtk-invisible.ali
2387  gtk-label.ali
2388  gtk-layout.ali
2389  gtk-level_bar.ali
2390  gtk-link_button.ali
2391  gtk-list_box.ali
2392  gtk-list_box_row.ali
2393  gtk-list_store.ali
2394  gtk-main.ali
2395  gtk-marshallers.ali
2396  gtk-menu.ali
2397  gtk-menu_bar.ali
2398  gtk-menu_button.ali
2399  gtk-menu_item.ali
2400  gtk-menu_shell.ali
2401  gtk-menu_tool_button.ali
2402  gtk-message_dialog.ali
2403  gtk-misc.ali
2404  gtk-notebook.ali
2405  gtk-offscreen_window.ali
2406  gtk-orientable.ali
2407  gtk-overlay.ali
2408  gtk-page_setup.ali
2409  gtk-paned.ali
2410  gtk-paper_size.ali
2411  gtk-popover.ali
2412  gtk-print_context.ali
2413  gtk-print_operation.ali
2414  gtk-print_operation_preview.ali
2415  gtk-print_settings.ali
2416  gtk-progress_bar.ali
2417  gtk-radio_action.ali
2418  gtk-radio_button.ali
2419  gtk-radio_menu_item.ali
2420  gtk-radio_tool_button.ali
2421  gtk-rc.ali
2422  gtk-recent_action.ali
2423  gtk-recent_chooser.ali
2424  gtk-recent_chooser_dialog.ali
2425  gtk-recent_chooser_menu.ali
2426  gtk-recent_chooser_widget.ali
2427  gtk-recent_filter.ali
2428  gtk-recent_info.ali
2429  gtk-recent_manager.ali
2430  gtk-revealer.ali
2431  gtk-scale.ali
2432  gtk-scale_button.ali
2433  gtk-scrollable.ali
2434  gtk-scrollbar.ali
2435  gtk-scrolled_window.ali
2436  gtk-search_bar.ali
2437  gtk-search_entry.ali
2438  gtk-selection_data.ali
2439  gtk-separator.ali
2440  gtk-separator_menu_item.ali
2441  gtk-separator_tool_item.ali
2442  gtk-settings.ali
2443  gtk-shortcuts_window.ali
2444  gtk-size_group.ali
2445  gtk-spin_button.ali
2446  gtk-spinner.ali
2447  gtk-stack.ali
2448  gtk-stack_switcher.ali
2449  gtk-status_bar.ali
2450  gtk-status_icon.ali
2451  gtk-stock.ali
2452  gtk-style.ali
2453  gtk-style_context.ali
2454  gtk-style_properties.ali
2455  gtk-style_provider.ali
2456  gtk-switch.ali
2457  gtk-symbolic_color.ali
2458  gtk-table.ali
2459  gtk-target_entry.ali
2460  gtk-target_list.ali
2461  gtk-tearoff_menu_item.ali
2462  gtk-text_attributes.ali
2463  gtk-text_buffer.ali
2464  gtk-text_child.ali
2465  gtk-text_child_anchor.ali
2466  gtk-text_iter.ali
2467  gtk-text_mark.ali
2468  gtk-text_tag.ali
2469  gtk-text_tag_table.ali
2470  gtk-text_view.ali
2471  gtk-theming_engine.ali
2472  gtk-toggle_action.ali
2473  gtk-toggle_button.ali
2474  gtk-toggle_tool_button.ali
2475  gtk-tool_button.ali
2476  gtk-tool_item.ali
2477  gtk-tool_item_group.ali
2478  gtk-tool_palette.ali
2479  gtk-tool_shell.ali
2480  gtk-toolbar.ali
2481  gtk-tooltip.ali
2482  gtk-tree_drag_dest.ali
2483  gtk-tree_drag_source.ali
2484  gtk-tree_model-utils.ali
2485  gtk-tree_model.ali
2486  gtk-tree_model_filter.ali
2487  gtk-tree_model_sort.ali
2488  gtk-tree_row_reference.ali
2489  gtk-tree_selection.ali
2490  gtk-tree_sortable.ali
2491  gtk-tree_store.ali
2492  gtk-tree_view.ali
2493  gtk-tree_view_column.ali
2494  gtk-type_conversion.ali
2495  gtk-ui_manager.ali
2496  gtk-vbutton_box.ali
2497  gtk-viewport.ali
2498  gtk-volume_button.ali
2499  gtk-widget.ali
2500  gtk-window.ali
2501  gtk.ali
2502  gtkada-abstract_list_model.ali
2503  gtkada-abstract_tree_model.ali
2504  gtkada-application.ali
2505  gtkada-bindings.ali
2506  gtkada-builder.ali
2507  gtkada-c.ali
2508  gtkada-canvas.ali
2509  gtkada-canvas_view-astar.ali
2510  gtkada-canvas_view-links.ali
2511  gtkada-canvas_view-models-layers.ali
2512  gtkada-canvas_view-models.ali
2513  gtkada-canvas_view-objects.ali
2514  gtkada-canvas_view-rtrees.ali
2515  gtkada-canvas_view-views.ali
2516  gtkada-canvas_view.ali
2517  gtkada-dialogs.ali
2518  gtkada-file_selection.ali
2519  gtkada-handlers.ali
2520  gtkada-intl.ali
2521  gtkada-mdi.ali
2522  gtkada-multi_paned.ali
2523  gtkada-multiline_entry.ali
2524  gtkada-pixmaps.ali
2525  gtkada-printing.ali
2526  gtkada-style.ali
2527  gtkada-types.ali
2528  gtkada.ali
2529  libgtkada.so
2530  pango-attributes.ali
2531  pango-cairo.ali
2532  pango-context.ali
2533  pango-coverage.ali
2534  pango-enums.ali
2535  pango-font.ali
2536  pango-font_face.ali
2537  pango-font_family.ali
2538  pango-font_map.ali
2539  pango-font_metrics.ali
2540  pango-fontset.ali
2541  pango-language.ali
2542  pango-layout.ali
2543  pango-matrix.ali
2544  pango-tabs.ali
2545  pango.ali
2546 lib/gtkada/gtkada.static-pic/gtkada/
2547  cairo-font_face.ali
2548  cairo-font_options.ali
2549  cairo-image_surface.ali
2550  cairo-matrix.ali
2551  cairo-pattern.ali
2552  cairo-pdf.ali
2553  cairo-png.ali
2554  cairo-region.ali
2555  cairo-scaled_font.ali
2556  cairo-surface.ali
2557  cairo-svg.ali
2558  cairo.ali
2559  fontconfig.ali
2560  gdk-cairo.ali
2561  gdk-color.ali
2562  gdk-cursor.ali
2563  gdk-device.ali
2564  gdk-device_manager.ali
2565  gdk-device_tool.ali
2566  gdk-display.ali
2567  gdk-display_manager.ali
2568  gdk-dnd.ali
2569  gdk-drag_contexts.ali
2570  gdk-drawing_context.ali
2571  gdk-event.ali
2572  gdk-frame_clock.ali
2573  gdk-frame_timings.ali
2574  gdk-glcontext.ali
2575  gdk-input.ali
2576  gdk-keyval.ali
2577  gdk-main.ali
2578  gdk-monitor.ali
2579  gdk-pixbuf.ali
2580  gdk-property.ali
2581  gdk-rectangle.ali
2582  gdk-rgba.ali
2583  gdk-screen.ali
2584  gdk-seat.ali
2585  gdk-threads.ali
2586  gdk-types-keysyms.ali
2587  gdk-types.ali
2588  gdk-visual.ali
2589  gdk-window.ali
2590  gdk-window_attr.ali
2591  gdk.ali
2592  glib-action.ali
2593  glib-action_group.ali
2594  glib-action_map.ali
2595  glib-application.ali
2596  glib-cancellable.ali
2597  glib-convert.ali
2598  glib-enums.ali
2599  glib-error.ali
2600  glib-g_icon.ali
2601  glib-generic_properties.ali
2602  glib-glist.ali
2603  glib-gnodes.ali
2604  glib-graphs-layouts.ali
2605  glib-graphs.ali
2606  glib-gslist.ali
2607  glib-iochannel.ali
2608  glib-key_file.ali
2609  glib-list_model.ali
2610  glib-main.ali
2611  glib-menu.ali
2612  glib-menu_model.ali
2613  glib-messages.ali
2614  glib-module.ali
2615  glib-notification.ali
2616  glib-object.ali
2617  glib-option.ali
2618  glib-poll.ali
2619  glib-properties-creation.ali
2620  glib-properties.ali
2621  glib-simple_action.ali
2622  glib-simple_action_group.ali
2623  glib-spawn.ali
2624  glib-string.ali
2625  glib-type_conversion_hooks.ali
2626  glib-types.ali
2627  glib-unicode.ali
2628  glib-utils.ali
2629  glib-values.ali
2630  glib-variant.ali
2631  glib-xml.ali
2632  glib-xml_int.ali
2633  glib.ali
2634  gtk-about_dialog.ali
2635  gtk-accel_group.ali
2636  gtk-accel_label.ali
2637  gtk-accel_map.ali
2638  gtk-action.ali
2639  gtk-action_bar.ali
2640  gtk-action_group.ali
2641  gtk-actionable.ali
2642  gtk-activatable.ali
2643  gtk-adjustment.ali
2644  gtk-alignment.ali
2645  gtk-application.ali
2646  gtk-application_window.ali
2647  gtk-arguments.ali
2648  gtk-arrow.ali
2649  gtk-aspect_frame.ali
2650  gtk-assistant.ali
2651  gtk-bin.ali
2652  gtk-binding_set.ali
2653  gtk-bindings.ali
2654  gtk-box.ali
2655  gtk-buildable.ali
2656  gtk-builder.ali
2657  gtk-button.ali
2658  gtk-button_box.ali
2659  gtk-calendar.ali
2660  gtk-cell_area.ali
2661  gtk-cell_area_box.ali
2662  gtk-cell_area_context.ali
2663  gtk-cell_editable.ali
2664  gtk-cell_layout.ali
2665  gtk-cell_renderer.ali
2666  gtk-cell_renderer_accel.ali
2667  gtk-cell_renderer_combo.ali
2668  gtk-cell_renderer_pixbuf.ali
2669  gtk-cell_renderer_progress.ali
2670  gtk-cell_renderer_spin.ali
2671  gtk-cell_renderer_spinner.ali
2672  gtk-cell_renderer_text.ali
2673  gtk-cell_renderer_toggle.ali
2674  gtk-cell_view.ali
2675  gtk-check_button.ali
2676  gtk-check_menu_item.ali
2677  gtk-clipboard.ali
2678  gtk-color_button.ali
2679  gtk-color_chooser.ali
2680  gtk-color_chooser_dialog.ali
2681  gtk-color_chooser_widget.ali
2682  gtk-color_selection.ali
2683  gtk-color_selection_dialog.ali
2684  gtk-combo_box.ali
2685  gtk-combo_box_text.ali
2686  gtk-container.ali
2687  gtk-css_provider.ali
2688  gtk-css_section.ali
2689  gtk-dialog.ali
2690  gtk-dnd.ali
2691  gtk-drawing_area.ali
2692  gtk-editable.ali
2693  gtk-entry_buffer.ali
2694  gtk-entry_completion.ali
2695  gtk-enums.ali
2696  gtk-event_box.ali
2697  gtk-event_controller.ali
2698  gtk-expander.ali
2699  gtk-file_chooser.ali
2700  gtk-file_chooser_button.ali
2701  gtk-file_chooser_dialog.ali
2702  gtk-file_chooser_widget.ali
2703  gtk-file_filter.ali
2704  gtk-fixed.ali
2705  gtk-flow_box.ali
2706  gtk-flow_box_child.ali
2707  gtk-font_button.ali
2708  gtk-font_chooser.ali
2709  gtk-font_chooser_dialog.ali
2710  gtk-font_chooser_widget.ali
2711  gtk-font_selection.ali
2712  gtk-font_selection_dialog.ali
2713  gtk-frame.ali
2714  gtk-gentry.ali
2715  gtk-gesture.ali
2716  gtk-gesture_drag.ali
2717  gtk-gesture_long_press.ali
2718  gtk-gesture_multi_press.ali
2719  gtk-gesture_pan.ali
2720  gtk-gesture_rotate.ali
2721  gtk-gesture_single.ali
2722  gtk-gesture_swipe.ali
2723  gtk-gesture_zoom.ali
2724  gtk-glarea.ali
2725  gtk-gradient.ali
2726  gtk-grange.ali
2727  gtk-grid.ali
2728  gtk-handle_box.ali
2729  gtk-handlers.ali
2730  gtk-hbutton_box.ali
2731  gtk-header_bar.ali
2732  gtk-hsv.ali
2733  gtk-icon_factory.ali
2734  gtk-icon_set.ali
2735  gtk-icon_source.ali
2736  gtk-icon_theme.ali
2737  gtk-icon_view.ali
2738  gtk-im_context.ali
2739  gtk-im_context_simple.ali
2740  gtk-im_multi_context.ali
2741  gtk-image.ali
2742  gtk-image_menu_item.ali
2743  gtk-info_bar.ali
2744  gtk-invisible.ali
2745  gtk-label.ali
2746  gtk-layout.ali
2747  gtk-level_bar.ali
2748  gtk-link_button.ali
2749  gtk-list_box.ali
2750  gtk-list_box_row.ali
2751  gtk-list_store.ali
2752  gtk-main.ali
2753  gtk-marshallers.ali
2754  gtk-menu.ali
2755  gtk-menu_bar.ali
2756  gtk-menu_button.ali
2757  gtk-menu_item.ali
2758  gtk-menu_shell.ali
2759  gtk-menu_tool_button.ali
2760  gtk-message_dialog.ali
2761  gtk-misc.ali
2762  gtk-notebook.ali
2763  gtk-offscreen_window.ali
2764  gtk-orientable.ali
2765  gtk-overlay.ali
2766  gtk-page_setup.ali
2767  gtk-paned.ali
2768  gtk-paper_size.ali
2769  gtk-popover.ali
2770  gtk-print_context.ali
2771  gtk-print_operation.ali
2772  gtk-print_operation_preview.ali
2773  gtk-print_settings.ali
2774  gtk-progress_bar.ali
2775  gtk-radio_action.ali
2776  gtk-radio_button.ali
2777  gtk-radio_menu_item.ali
2778  gtk-radio_tool_button.ali
2779  gtk-rc.ali
2780  gtk-recent_action.ali
2781  gtk-recent_chooser.ali
2782  gtk-recent_chooser_dialog.ali
2783  gtk-recent_chooser_menu.ali
2784  gtk-recent_chooser_widget.ali
2785  gtk-recent_filter.ali
2786  gtk-recent_info.ali
2787  gtk-recent_manager.ali
2788  gtk-revealer.ali
2789  gtk-scale.ali
2790  gtk-scale_button.ali
2791  gtk-scrollable.ali
2792  gtk-scrollbar.ali
2793  gtk-scrolled_window.ali
2794  gtk-search_bar.ali
2795  gtk-search_entry.ali
2796  gtk-selection_data.ali
2797  gtk-separator.ali
2798  gtk-separator_menu_item.ali
2799  gtk-separator_tool_item.ali
2800  gtk-settings.ali
2801  gtk-shortcuts_window.ali
2802  gtk-size_group.ali
2803  gtk-spin_button.ali
2804  gtk-spinner.ali
2805  gtk-stack.ali
2806  gtk-stack_switcher.ali
2807  gtk-status_bar.ali
2808  gtk-status_icon.ali
2809  gtk-stock.ali
2810  gtk-style.ali
2811  gtk-style_context.ali
2812  gtk-style_properties.ali
2813  gtk-style_provider.ali
2814  gtk-switch.ali
2815  gtk-symbolic_color.ali
2816  gtk-table.ali
2817  gtk-target_entry.ali
2818  gtk-target_list.ali
2819  gtk-tearoff_menu_item.ali
2820  gtk-text_attributes.ali
2821  gtk-text_buffer.ali
2822  gtk-text_child.ali
2823  gtk-text_child_anchor.ali
2824  gtk-text_iter.ali
2825  gtk-text_mark.ali
2826  gtk-text_tag.ali
2827  gtk-text_tag_table.ali
2828  gtk-text_view.ali
2829  gtk-theming_engine.ali
2830  gtk-toggle_action.ali
2831  gtk-toggle_button.ali
2832  gtk-toggle_tool_button.ali
2833  gtk-tool_button.ali
2834  gtk-tool_item.ali
2835  gtk-tool_item_group.ali
2836  gtk-tool_palette.ali
2837  gtk-tool_shell.ali
2838  gtk-toolbar.ali
2839  gtk-tooltip.ali
2840  gtk-tree_drag_dest.ali
2841  gtk-tree_drag_source.ali
2842  gtk-tree_model-utils.ali
2843  gtk-tree_model.ali
2844  gtk-tree_model_filter.ali
2845  gtk-tree_model_sort.ali
2846  gtk-tree_row_reference.ali
2847  gtk-tree_selection.ali
2848  gtk-tree_sortable.ali
2849  gtk-tree_store.ali
2850  gtk-tree_view.ali
2851  gtk-tree_view_column.ali
2852  gtk-type_conversion.ali
2853  gtk-ui_manager.ali
2854  gtk-vbutton_box.ali
2855  gtk-viewport.ali
2856  gtk-volume_button.ali
2857  gtk-widget.ali
2858  gtk-window.ali
2859  gtk.ali
2860  gtkada-abstract_list_model.ali
2861  gtkada-abstract_tree_model.ali
2862  gtkada-application.ali
2863  gtkada-bindings.ali
2864  gtkada-builder.ali
2865  gtkada-c.ali
2866  gtkada-canvas.ali
2867  gtkada-canvas_view-astar.ali
2868  gtkada-canvas_view-links.ali
2869  gtkada-canvas_view-models-layers.ali
2870  gtkada-canvas_view-models.ali
2871  gtkada-canvas_view-objects.ali
2872  gtkada-canvas_view-rtrees.ali
2873  gtkada-canvas_view-views.ali
2874  gtkada-canvas_view.ali
2875  gtkada-dialogs.ali
2876  gtkada-file_selection.ali
2877  gtkada-handlers.ali
2878  gtkada-intl.ali
2879  gtkada-mdi.ali
2880  gtkada-multi_paned.ali
2881  gtkada-multiline_entry.ali
2882  gtkada-pixmaps.ali
2883  gtkada-printing.ali
2884  gtkada-style.ali
2885  gtkada-types.ali
2886  gtkada.ali
2887  libgtkada.a
2888  pango-attributes.ali
2889  pango-cairo.ali
2890  pango-context.ali
2891  pango-coverage.ali
2892  pango-enums.ali
2893  pango-font.ali
2894  pango-font_face.ali
2895  pango-font_family.ali
2896  pango-font_map.ali
2897  pango-font_metrics.ali
2898  pango-fontset.ali
2899  pango-language.ali
2900  pango-layout.ali
2901  pango-matrix.ali
2902  pango-tabs.ali
2903  pango.ali
2904 lib/gtkada/gtkada.static/gtkada/
2905  cairo-font_face.ali
2906  cairo-font_options.ali
2907  cairo-image_surface.ali
2908  cairo-matrix.ali
2909  cairo-pattern.ali
2910  cairo-pdf.ali
2911  cairo-png.ali
2912  cairo-region.ali
2913  cairo-scaled_font.ali
2914  cairo-surface.ali
2915  cairo-svg.ali
2916  cairo.ali
2917  fontconfig.ali
2918  gdk-cairo.ali
2919  gdk-color.ali
2920  gdk-cursor.ali
2921  gdk-device.ali
2922  gdk-device_manager.ali
2923  gdk-device_tool.ali
2924  gdk-display.ali
2925  gdk-display_manager.ali
2926  gdk-dnd.ali
2927  gdk-drag_contexts.ali
2928  gdk-drawing_context.ali
2929  gdk-event.ali
2930  gdk-frame_clock.ali
2931  gdk-frame_timings.ali
2932  gdk-glcontext.ali
2933  gdk-input.ali
2934  gdk-keyval.ali
2935  gdk-main.ali
2936  gdk-monitor.ali
2937  gdk-pixbuf.ali
2938  gdk-property.ali
2939  gdk-rectangle.ali
2940  gdk-rgba.ali
2941  gdk-screen.ali
2942  gdk-seat.ali
2943  gdk-threads.ali
2944  gdk-types-keysyms.ali
2945  gdk-types.ali
2946  gdk-visual.ali
2947  gdk-window.ali
2948  gdk-window_attr.ali
2949  gdk.ali
2950  glib-action.ali
2951  glib-action_group.ali
2952  glib-action_map.ali
2953  glib-application.ali
2954  glib-cancellable.ali
2955  glib-convert.ali
2956  glib-enums.ali
2957  glib-error.ali
2958  glib-g_icon.ali
2959  glib-generic_properties.ali
2960  glib-glist.ali
2961  glib-gnodes.ali
2962  glib-graphs-layouts.ali
2963  glib-graphs.ali
2964  glib-gslist.ali
2965  glib-iochannel.ali
2966  glib-key_file.ali
2967  glib-list_model.ali
2968  glib-main.ali
2969  glib-menu.ali
2970  glib-menu_model.ali
2971  glib-messages.ali
2972  glib-module.ali
2973  glib-notification.ali
2974  glib-object.ali
2975  glib-option.ali
2976  glib-poll.ali
2977  glib-properties-creation.ali
2978  glib-properties.ali
2979  glib-simple_action.ali
2980  glib-simple_action_group.ali
2981  glib-spawn.ali
2982  glib-string.ali
2983  glib-type_conversion_hooks.ali
2984  glib-types.ali
2985  glib-unicode.ali
2986  glib-utils.ali
2987  glib-values.ali
2988  glib-variant.ali
2989  glib-xml.ali
2990  glib-xml_int.ali
2991  glib.ali
2992  gtk-about_dialog.ali
2993  gtk-accel_group.ali
2994  gtk-accel_label.ali
2995  gtk-accel_map.ali
2996  gtk-action.ali
2997  gtk-action_bar.ali
2998  gtk-action_group.ali
2999  gtk-actionable.ali
3000  gtk-activatable.ali
3001  gtk-adjustment.ali
3002  gtk-alignment.ali
3003  gtk-application.ali
3004  gtk-application_window.ali
3005  gtk-arguments.ali
3006  gtk-arrow.ali
3007  gtk-aspect_frame.ali
3008  gtk-assistant.ali
3009  gtk-bin.ali
3010  gtk-binding_set.ali
3011  gtk-bindings.ali
3012  gtk-box.ali
3013  gtk-buildable.ali
3014  gtk-builder.ali
3015  gtk-button.ali
3016  gtk-button_box.ali
3017  gtk-calendar.ali
3018  gtk-cell_area.ali
3019  gtk-cell_area_box.ali
3020  gtk-cell_area_context.ali
3021  gtk-cell_editable.ali
3022  gtk-cell_layout.ali
3023  gtk-cell_renderer.ali
3024  gtk-cell_renderer_accel.ali
3025  gtk-cell_renderer_combo.ali
3026  gtk-cell_renderer_pixbuf.ali
3027  gtk-cell_renderer_progress.ali
3028  gtk-cell_renderer_spin.ali
3029  gtk-cell_renderer_spinner.ali
3030  gtk-cell_renderer_text.ali
3031  gtk-cell_renderer_toggle.ali
3032  gtk-cell_view.ali
3033  gtk-check_button.ali
3034  gtk-check_menu_item.ali
3035  gtk-clipboard.ali
3036  gtk-color_button.ali
3037  gtk-color_chooser.ali
3038  gtk-color_chooser_dialog.ali
3039  gtk-color_chooser_widget.ali
3040  gtk-color_selection.ali
3041  gtk-color_selection_dialog.ali
3042  gtk-combo_box.ali
3043  gtk-combo_box_text.ali
3044  gtk-container.ali
3045  gtk-css_provider.ali
3046  gtk-css_section.ali
3047  gtk-dialog.ali
3048  gtk-dnd.ali
3049  gtk-drawing_area.ali
3050  gtk-editable.ali
3051  gtk-entry_buffer.ali
3052  gtk-entry_completion.ali
3053  gtk-enums.ali
3054  gtk-event_box.ali
3055  gtk-event_controller.ali
3056  gtk-expander.ali
3057  gtk-file_chooser.ali
3058  gtk-file_chooser_button.ali
3059  gtk-file_chooser_dialog.ali
3060  gtk-file_chooser_widget.ali
3061  gtk-file_filter.ali
3062  gtk-fixed.ali
3063  gtk-flow_box.ali
3064  gtk-flow_box_child.ali
3065  gtk-font_button.ali
3066  gtk-font_chooser.ali
3067  gtk-font_chooser_dialog.ali
3068  gtk-font_chooser_widget.ali
3069  gtk-font_selection.ali
3070  gtk-font_selection_dialog.ali
3071  gtk-frame.ali
3072  gtk-gentry.ali
3073  gtk-gesture.ali
3074  gtk-gesture_drag.ali
3075  gtk-gesture_long_press.ali
3076  gtk-gesture_multi_press.ali
3077  gtk-gesture_pan.ali
3078  gtk-gesture_rotate.ali
3079  gtk-gesture_single.ali
3080  gtk-gesture_swipe.ali
3081  gtk-gesture_zoom.ali
3082  gtk-glarea.ali
3083  gtk-gradient.ali
3084  gtk-grange.ali
3085  gtk-grid.ali
3086  gtk-handle_box.ali
3087  gtk-handlers.ali
3088  gtk-hbutton_box.ali
3089  gtk-header_bar.ali
3090  gtk-hsv.ali
3091  gtk-icon_factory.ali
3092  gtk-icon_set.ali
3093  gtk-icon_source.ali
3094  gtk-icon_theme.ali
3095  gtk-icon_view.ali
3096  gtk-im_context.ali
3097  gtk-im_context_simple.ali
3098  gtk-im_multi_context.ali
3099  gtk-image.ali
3100  gtk-image_menu_item.ali
3101  gtk-info_bar.ali
3102  gtk-invisible.ali
3103  gtk-label.ali
3104  gtk-layout.ali
3105  gtk-level_bar.ali
3106  gtk-link_button.ali
3107  gtk-list_box.ali
3108  gtk-list_box_row.ali
3109  gtk-list_store.ali
3110  gtk-main.ali
3111  gtk-marshallers.ali
3112  gtk-menu.ali
3113  gtk-menu_bar.ali
3114  gtk-menu_button.ali
3115  gtk-menu_item.ali
3116  gtk-menu_shell.ali
3117  gtk-menu_tool_button.ali
3118  gtk-message_dialog.ali
3119  gtk-misc.ali
3120  gtk-notebook.ali
3121  gtk-offscreen_window.ali
3122  gtk-orientable.ali
3123  gtk-overlay.ali
3124  gtk-page_setup.ali
3125  gtk-paned.ali
3126  gtk-paper_size.ali
3127  gtk-popover.ali
3128  gtk-print_context.ali
3129  gtk-print_operation.ali
3130  gtk-print_operation_preview.ali
3131  gtk-print_settings.ali
3132  gtk-progress_bar.ali
3133  gtk-radio_action.ali
3134  gtk-radio_button.ali
3135  gtk-radio_menu_item.ali
3136  gtk-radio_tool_button.ali
3137  gtk-rc.ali
3138  gtk-recent_action.ali
3139  gtk-recent_chooser.ali
3140  gtk-recent_chooser_dialog.ali
3141  gtk-recent_chooser_menu.ali
3142  gtk-recent_chooser_widget.ali
3143  gtk-recent_filter.ali
3144  gtk-recent_info.ali
3145  gtk-recent_manager.ali
3146  gtk-revealer.ali
3147  gtk-scale.ali
3148  gtk-scale_button.ali
3149  gtk-scrollable.ali
3150  gtk-scrollbar.ali
3151  gtk-scrolled_window.ali
3152  gtk-search_bar.ali
3153  gtk-search_entry.ali
3154  gtk-selection_data.ali
3155  gtk-separator.ali
3156  gtk-separator_menu_item.ali
3157  gtk-separator_tool_item.ali
3158  gtk-settings.ali
3159  gtk-shortcuts_window.ali
3160  gtk-size_group.ali
3161  gtk-spin_button.ali
3162  gtk-spinner.ali
3163  gtk-stack.ali
3164  gtk-stack_switcher.ali
3165  gtk-status_bar.ali
3166  gtk-status_icon.ali
3167  gtk-stock.ali
3168  gtk-style.ali
3169  gtk-style_context.ali
3170  gtk-style_properties.ali
3171  gtk-style_provider.ali
3172  gtk-switch.ali
3173  gtk-symbolic_color.ali
3174  gtk-table.ali
3175  gtk-target_entry.ali
3176  gtk-target_list.ali
3177  gtk-tearoff_menu_item.ali
3178  gtk-text_attributes.ali
3179  gtk-text_buffer.ali
3180  gtk-text_child.ali
3181  gtk-text_child_anchor.ali
3182  gtk-text_iter.ali
3183  gtk-text_mark.ali
3184  gtk-text_tag.ali
3185  gtk-text_tag_table.ali
3186  gtk-text_view.ali
3187  gtk-theming_engine.ali
3188  gtk-toggle_action.ali
3189  gtk-toggle_button.ali
3190  gtk-toggle_tool_button.ali
3191  gtk-tool_button.ali
3192  gtk-tool_item.ali
3193  gtk-tool_item_group.ali
3194  gtk-tool_palette.ali
3195  gtk-tool_shell.ali
3196  gtk-toolbar.ali
3197  gtk-tooltip.ali
3198  gtk-tree_drag_dest.ali
3199  gtk-tree_drag_source.ali
3200  gtk-tree_model-utils.ali
3201  gtk-tree_model.ali
3202  gtk-tree_model_filter.ali
3203  gtk-tree_model_sort.ali
3204  gtk-tree_row_reference.ali
3205  gtk-tree_selection.ali
3206  gtk-tree_sortable.ali
3207  gtk-tree_store.ali
3208  gtk-tree_view.ali
3209  gtk-tree_view_column.ali
3210  gtk-type_conversion.ali
3211  gtk-ui_manager.ali
3212  gtk-vbutton_box.ali
3213  gtk-viewport.ali
3214  gtk-volume_button.ali
3215  gtk-widget.ali
3216  gtk-window.ali
3217  gtk.ali
3218  gtkada-abstract_list_model.ali
3219  gtkada-abstract_tree_model.ali
3220  gtkada-application.ali
3221  gtkada-bindings.ali
3222  gtkada-builder.ali
3223  gtkada-c.ali
3224  gtkada-canvas.ali
3225  gtkada-canvas_view-astar.ali
3226  gtkada-canvas_view-links.ali
3227  gtkada-canvas_view-models-layers.ali
3228  gtkada-canvas_view-models.ali
3229  gtkada-canvas_view-objects.ali
3230  gtkada-canvas_view-rtrees.ali
3231  gtkada-canvas_view-views.ali
3232  gtkada-canvas_view.ali
3233  gtkada-dialogs.ali
3234  gtkada-file_selection.ali
3235  gtkada-handlers.ali
3236  gtkada-intl.ali
3237  gtkada-mdi.ali
3238  gtkada-multi_paned.ali
3239  gtkada-multiline_entry.ali
3240  gtkada-pixmaps.ali
3241  gtkada-printing.ali
3242  gtkada-style.ali
3243  gtkada-types.ali
3244  gtkada.ali
3245  libgtkada.a
3246  pango-attributes.ali
3247  pango-cairo.ali
3248  pango-context.ali
3249  pango-coverage.ali
3250  pango-enums.ali
3251  pango-font.ali
3252  pango-font_face.ali
3253  pango-font_family.ali
3254  pango-font_map.ali
3255  pango-font_metrics.ali
3256  pango-fontset.ali
3257  pango-language.ali
3258  pango-layout.ali
3259  pango-matrix.ali
3260  pango-tabs.ali
3261  pango.ali
3262 share/gpr/gtkada.gpr
3263 share/gps/plug-ins/gtkada.xml
3264
3265
3266 [FILE:716:patches/patch-Makefile.in]
3267 --- Makefile.in.orig    2023-06-06 13:43:43 UTC
3268 +++ Makefile.in
3269 @@ -105,12 +105,6 @@ endif
3270  install: install-clean
3271         ${GPRINSTALL_FULL} -XLIBRARY_TYPE=$(LIBRARY_TYPE_FOR_TOOLS) \
3272                 --mode=usage -Psrc/tools/tools.gpr
3273 -       cd testgtk; ${GPRINSTALL_FULL} -XLIBRARY_TYPE=$(LIBRARY_TYPE_FOR_TOOLS) \
3274 -               --mode=usage --exec-subdir=${DESTDIR}${exampledir} \
3275 -               -Ptestgtk.gpr -aP ../src
3276 -ifneq ($(OS),Windows_NT)
3277 -       ln -s ${libdir} ${DESTDIR}${datadir}/examples/gtkada --force
3278 -endif
3279         @echo '-----------------------------------------------------------------------'
3280         @echo '--  GtkAda has now been installed.                                   --'
3281         @echo '--  To use the library, you may need to update LD_LIBRARY_PATH       --'
3282
3283
3284 [FILE:416:patches/patch-configure]
3285 --- configure.orig      2023-06-06 13:43:43 UTC
3286 +++ configure
3287 @@ -2313,6 +2313,11 @@ fi
3288        ac_GNATLIB=`cd $ac_GNATDIR; ls libgnat-*.dll | sed 's,lib,,;s,.dll,,'`
3289        OS_SPECIFIC_LINK_OPTIONS=-Wl,-L$ac_GNATDIR,-l$ac_GNATLIB
3290        ;;
3291 +   *dragonfly*|*bsd*)
3292 +      if test x$CAN_BUILD_SHARED = xyes ; then
3293 +         BUILD_SHARED=yes
3294 +      fi
3295 +      ;;
3296     *darwin*)
3297        SO_EXT=.dylib
3298        NEED_OBJECTIVE_C=yes
3299
3300
3301 [FILE:218:patches/patch-docs_Makefile]
3302 --- docs/Makefile.orig  2023-06-06 13:43:43 UTC
3303 +++ docs/Makefile
3304 @@ -1,7 +1,6 @@
3305
3306  all::
3307 -       ${MAKE} -C gtkada_rm
3308 -       ${MAKE} -C gtkada_ug html latexpdf
3309 +       ${MAKE} -C gtkada_ug html
3310
3311  clean::
3312         ${MAKE} -C gtkada_rm clean
3313
3314
3315 [FILE:753:patches/patch-gtkada__shared.gpr.in]
3316 --- gtkada_shared.gpr.in.orig   2023-06-06 13:43:43 UTC
3317 +++ gtkada_shared.gpr.in
3318 @@ -63,11 +63,11 @@ project GtkAda_Shared is
3319           when "Debug" =>
3320               for Switches ("Ada") use
3321                  ("-gnatQ", "-gnatwae", "-gnatay", "-g", "-O0");
3322 -             for Switches ("C") use ("-g", "-O0", "-Wformat", "-Werror=format-security");
3323 +             for Switches ("C") use ("-g", "-O0");
3324           when "Production" =>
3325               for Switches ("Ada") use
3326                  ("-gnatQ", "-O2", "-gnatn", "-gnatwa", "-gnaty");
3327 -             for Switches ("C") use ("-O2", "-Wformat", "-Werror=format-security");
3328 +             for Switches ("C") use ("-O2");
3329        end case;
3330
3331        for Switches ("C") use Compiler'Switches ("C") & Gtk_Include;
3332