%graphic-default-extension%
Name
%graphic-default-extension% -- Default extension for graphic FILEREFs
Synopsis
%graphic-default-extension%
Description
The %graphic-default-extension% will be
added to the end of all fileref filenames on
Graphics if they do not end in one of the
%graphic-extensions%. Set this to #f
to turn off this feature.
Source Code
(define %graphic-default-extension%
;; Default extension for graphic FILEREFs
#f)