85 |
void |
void |
86 |
arshell_font_dialog() |
arshell_font_dialog() |
87 |
{ |
{ |
|
|
|
|
Widget font_selector; |
|
88 |
#if XmVERSION > 1 & XmREVISION > 1 |
#if XmVERSION > 1 & XmREVISION > 1 |
89 |
Widget form; |
Widget form; |
90 |
|
Widget font_selector; |
91 |
ARCLARG; |
ARCLARG; |
92 |
form=antiright_form(arshell.gui.widgets.mainwindow); |
form=antiright_form(arshell.gui.widgets.mainwindow); |
93 |
arshell.gui.widgets.work=form; |
arshell.gui.widgets.work=form; |
108 |
ARCLARG; |
ARCLARG; |
109 |
#else |
#else |
110 |
#if HAVE_XLT |
#if HAVE_XLT |
111 |
|
Widget font_selector; |
112 |
antiright_set_title("Font Selector"); |
antiright_set_title("Font Selector"); |
113 |
ARCLARG; |
ARCLARG; |
114 |
font_selector=XltCreateFontChooser(arshell.gui.widgets.mainwindow, |
font_selector=XltCreateFontChooser(arshell.gui.widgets.mainwindow, |