<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Hi,</p>
<p>what is the correct way to access document-specific options of an
extension through the gui?</p>
<p>The options are stored in an XNamedGraph.</p>
<p>But where would the user expect to find them in the GUI?<br>
</p>
<ul>
<li>File -> Properties?</li>
<li>Extras -> Options -> Writer -> <some option page
that is not global, but document specific><br>
</li>
<li>New menu entry (the extension has its own menu in the menu bar
anyway)</li>
</ul>
<p>Thanks,</p>
<p> Jan</p>
<p><br>
</p>
</body>
</html>