← Back to branch summary

~ubuntu-branches/ubuntu/intrepid/libgtkada2/intrepid

« back to all changes in this revision

Viewing changes to src/gtk-settings.ads

  • Committer: Bazaar Package Importer
  • Author(s): Luca Falavigna
  • Date: 2008-08-11 09:46:51 UTC
  • mfrom: (6.1.1 squeeze)
  • Revision ID: james.westby@ubuntu.com-20080811094651-9mjd6acwa98ffw5c
Tags: 2.12.0-2ubuntu1
Add lpia to supported architectures.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/gtk-settings.ads
163
163
   --  - "gtk-fallback-icon-theme": String
164
164
   --    Name of a icon theme to fall back to.
165
165
   --
 
166
   --  - "gtk-file-chooser-backend": String
 
167
   --    The default file system backend to use in the file chooser. See also
 
168
   --    Gtk.File_System
 
169
   --
166
170
   --  - "gtk-font-name": String
167
171
   --    Name of default font to use.
168
172
   --
239
243
   Gtk_Double_Click_Time     : constant String := "gtk-double-click-time";
240
244
   Gtk_Entry_Select_On_Focus : constant String := "gtk-entry-select-on-focus";
241
245
   Gtk_Fallback_Icon_Theme   : constant String := "gtk-fallback-icon-theme";
 
246
   Gtk_File_Chooser_Backend  : constant String := "gtk-file-chooser-backend";
242
247
   Gtk_Font_Name             : constant String := "gtk-font-name";
243
248
   Gtk_Icon_Sizes            : constant String := "gtk-icon-sizes";
244
249
   Gtk_Icon_Theme_Name       : constant String := "gtk-icon-theme-name";