/usr/lib/swi-prolog/xpce/Defaults.user is in swi-prolog-x 6.6.4-2ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 | ! Skeleton preferences file for XPCE. This file is loaded from pce(Defaults).
!
! Format:
!
! * Comment
! Line-comment is started by the ! (exclamation mark)
!
! * Default
! <class>.<class-variable>: <value>
!
! * Values
! Values are in standard term-representation. Chains may be written
! as a Prolog list. Values spanning multiple lines use \<NL> to continue
! on the next line
! Basic style for keyboard accelerators. On Windows the default is `cua'.
! (Common User Access), on Unix the default is `emacs'. On Apple, the
! default is `apple', which is `emacs', but giving Command-v, Command-c
! and Command-s their usual meaning. The Emacs equivalent can be accessed
! using ESC-v, etc.
!key_binding.style: cua
!key_binding.style: emacs
!key_binding.style: apple
! Creating a selection using the mouse puts the selection into the
! copy/paste ! buffer by default. This behaviour can be disabled with the
! preference below.
!editor.auto_copy: @off
! By default, the editors are case-insensitive in search and replace. Set to
! @on to use case-sensitive search and replace
!editor.exact_case: @on
! How PceEmacs deals with DOS (\r\n) and POSIX (\n) newline separators.
! Default for existing files is to detect and save in the old format.
! Default for new files depends on the platform, but can be overruled
! by this declaration. Setting the new file is particulary interesting
! when sharing files between Windows and Unix, such as through a shared
! filesystem, zip-exchange or exchange through a version control system
!emacs_buffer.newline_existing_file: detect
!emacs_buffer.newline_new_file: posix
! Backup encoding for PceEmacs if the default encoding cannot save the
! text. Default is UTF-16 little endian on Windows and UTF-8 on non-Windows
! system.
!emacs_buffer.unicode_encoding: utf8
! When to highlight syntax errors in PceEmacs Prolog mode. One of
! typing (always), pause (on whole-buffer scan) or never. Default
! is typing
!emacs_prolog_mode.show_syntax_errors: typing
! Specify the distance between tab-stops in spaces. This can be refined
! for other modes.
!emacs_fundamental_mode.tab_width: 8
! Indentation parameters for Prolog mode. body_indentation is the
! indentation of goals in the body. cond_indentation is the extra
! indentation for (if->then;else), (a;b), etc. indent_tabs defines
! whether tabs or spaces are used for (re-)indentation. Default is
! to use tabs (@on).
!emacs_prolog_mode.body_indentation: 8
!emacs_prolog_mode.cond_indentation: 4
!emacs_prolog_mode.indent_tabs: @on
! Comment column for M-; This may be refined by mode (e.g. emacs_prolog_mode,
! etc.)
!emacs_language_mode.comment_column: 48
! Get grep to work on Windows (using the grep that ships with MSysGit)
! Alternative is to make sure there is a compatible grep in %PATH%
! emacs_fundamental_mode.grep_command: 'C:/Program Files (x86)/Git/bin/grep.exe -n %s NUL'
! Spelling program options for the ispell demo and checker for PceEmacs.
! Ispell is available on most Unix installations.
!ispell.spell_program: 'ispell -d british -t -l'
! Indicate warnings by blinking (@on, default) or using a beep (@off)
!*.visual_bell: @off
! Binding for the logical font-names. You can bind any name to any
! font here.
!display.system_fonts: [ normal := font(helvetica, roman, 12), \
! bold := font(helvetica, bold, 12), \
! italic := font(helvetica, oblique, 12), \
! small := font(helvetica, roman, 10), \
! large := font(helvetica, roman, 14), \
! boldlarge := font(helvetica, bold, 14), \
! huge := font(helvetica, roman, 18), \
! boldhuge := font(helvetica, bold, 18), \
! fixed := font(screen, roman, 13), \
! tt := font(screen, roman, 13), \
! boldtt := font(screen, bold, 13), \
! symbol := font(symbol, roman, 12) \
! ]
! Scale all fonts with a constant factor.
!font.scale: 1.4
|