home *** CD-ROM | disk | FTP | other *** search
- gWidestPanelNameWidth = zstring_width(zstring: '$$$/Dialogs/Preferences/WidestPanelName');
-
- dialog(name: '$$$/Dialogs/Preferences', target_id: 'List')
- {
- view(align_children: align_left)
- {
- view(align_children: align_top)
- {
- list_box(item_id: 'List', width: gWidestPanelNameWidth+32, dheight: gPrefsPanelHeight+gMarginHeight);
- user_item(item_id: 'Fram', dwidth: gPrefsPanelWidth, dheight: gPrefsPanelHeight);
- }
- ok_cancel();
- }
- }