bucket_C5/gtkada

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