41
Introduction to Use of the PR-80
System Preferences
This is displayed when “System Preferences” is selected in the Selector screen (p. 33).
These settings affect the PR-80’s overall system environment.
fig.system01.eps
a. “Language”
This sets the language used for the display.
b. “Screen refresh rate”
c. “Shortcut Key”
This sets the keys used for keyboard shortcuts.
For more details about performing tasks with keyboard shortcuts, refer to “Keyboard shortcut keys”
(p. 117).
d. “Time and date”
This sets the time and date. To make these settings, click the check box to make a check mark appear,
click the arrows above or below the numbers to change them to the values you want, then click the
[Set] button. You can also use a time server to adjust the time and date automatically. To use a time
server, you need to make the setting for [Time Zone]. For more details about time servers, refer to
"Adjusting the PR-80's Time and Date by Connecting to a Time Server" (p. 113).
[Time Zone] refers to the regional standard time zones around the world. It indicates the standard
time for the region as the difference (plus or minus up to 12 hours) from the time at the Royal
Greenwich Observatory in England (Greenwich Mean Time, or GMT). Japan Standard Time is nine
hours ahead of GMT (+9). Setting [Time Zone] to "Tokyo" automatically sets the value to GMT+09:00.
i
a
b
c
d
e
f
g
h
j
k
l
m
PR-80_e.book 41 ページ ２００５年１月６日 木曜日 午後９時２２分
