mirrors/netsurf
1
0
Fork 0
mirror of https://github.com/netsurf-browser/netsurf synced 2024-11-22 22:41:30 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add GUI option for external hotlist support.

Browse Source 
Reinstate list #ifdef from en template source.

svn path=/trunk/netsurf/; revision=13043
This commit is contained in:
Steve Fryatt 2011-10-13 22:06:07 +00:00
parent 797838270e
commit 0ed0dfdc3b
10 changed files with 160 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
!NetSurf/Resources/de/Messages
View File

@ -1258,6 +1258,7 @@ HelpInterfaceConfig10:Beim verkleinernden Ablegen eines Browserfensters auf dem
HelpInterfaceConfig11:Stellt die Standardeinstellungen wieder her.
HelpInterfaceConfig12:Klicken mit AUSWAHL schließt das Fenster ohne die Änderungen zu speichern.|MKlicken mit SPEZIAL stellt die zuletzt abgespeicherten Einstellungen wieder her.
HelpInterfaceConfig13:Klicken mit AUSWAHL speichert die Einstellungen und schließt das Fenster.|MKlicken mit SPEZIAL speichert die Einstellungen ohne das Fenster zu schließen.
HelpInterfaceConfig16:This indicates whether NetSurf will use an external hotlist client if available, in preference to the internal hotlist.
HelpLanguageConfig:Konfigurationsfenster für die Spracheinstellungen
HelpLanguageConfig3:Das ist die aktuell eingestellte Sprache für die Bedienoberfläche.|MDiese Sprache wird genutzt, um NetSurf's Meldungen und die Texte der Dialogboxen und Menüs darzustellen.

1
!NetSurf/Resources/en/Messages
View File

@ -1279,6 +1279,7 @@ HelpInterfaceConfig10:This indicates whether NetSurf will use a thumbnail when i
HelpInterfaceConfig11:\Sreset the Interface options back to their default values.
HelpInterfaceConfig12:\Sclose this \w without saving changes.|M\Areturn the interface options to the last saved configuration.
HelpInterfaceConfig13:\Ssave these settings and close the \w.|M\Asave these settings without closing the \w.
HelpInterfaceConfig16:This indicates whether NetSurf will use an external hotlist client if available, in preference to the internal hotlist.
HelpLanguageConfig:\Tlanguage configuration \w
HelpLanguageConfig3:\Tcurrently selected interface language.|MThe interface language is the language used for NetSurf's messages and dialogue boxes.

1
!NetSurf/Resources/fr/Messages
View File

@ -1264,6 +1264,7 @@ HelpInterfaceConfig10:Ceci indique si Netsurf doit utiliser une miniature lors d
HelpInterfaceConfig11:\Srevenir aux valeurs par défaut des options d'Interface.
HelpInterfaceConfig12:\Sfermer cette fenêtre sans sauver les changements|M\Arevenir aux options d'Interface précédemment sauvegardées.
HelpInterfaceConfig13:\Ssauver ces réglages et fermer la fenêtre.|M\Asauver ces réglages sans fermer la fenêtre.
HelpInterfaceConfig16:This indicates whether NetSurf will use an external hotlist client if available, in preference to the internal hotlist.
HelpLanguageConfig:\Tfenêtre de configuration de langue.
HelpLanguageConfig3:\Tla langue d'interface sélectionnée actuellement.|MLa langue d'interface est la langue utilisée pour les messages et les boîtes de dialogue de Netsurf.

1
!NetSurf/Resources/it/Messages
View File

@ -1267,6 +1267,7 @@ HelpInterfaceConfig10:This indicates whether NetSurf will use a thumbnail when i
HelpInterfaceConfig11:\Sreset the Interface options back to their default values.
HelpInterfaceConfig12:\Sclose this \w without saving changes.|M\Areturn the interface options to the last saved configuration.
HelpInterfaceConfig13:\Ssave these settings and close the \w.|M\Asave these settings without closing the \w.
HelpInterfaceConfig16:This indicates whether NetSurf will use an external hotlist client if available, in preference to the internal hotlist.
HelpLanguageConfig:\Tlanguage configuration \w
HelpLanguageConfig3:\Tcurrently selected interface language.|MThe interface language is the language used for NetSurf's messages and dialogue boxes.

1
!NetSurf/Resources/nl/Messages
View File

@ -1259,6 +1259,7 @@ HelpInterfaceConfig10:This indicates whether NetSurf will use a thumbnail when i
HelpInterfaceConfig11:\Sreset the Interface options back to their default values.
HelpInterfaceConfig12:\Sclose this \w without saving changes.|M\Areturn the cache options to the last saved configuration.
HelpInterfaceConfig13:\Ssave these settings and close the \w.|M\Asave these settings without closing the \w.
HelpInterfaceConfig16:This indicates whether NetSurf will use an external hotlist client if available, in preference to the internal hotlist.
HelpLanguageConfig:\Tlanguage configuration \w
HelpLanguageConfig3:\Tcurrently selected interface language.|MThe interface language is the language used for NetSurf's messages and dialogue boxes.

7
riscos/configure/con_inter.c
View File

@ -34,6 +34,7 @@
#define INTERFACE_DEFAULT_BUTTON 11
#define INTERFACE_CANCEL_BUTTON 12
#define INTERFACE_OK_BUTTON 13
#define INTERFACE_USE_EXTERNAL_HOTLIST 16
static void ro_gui_options_interface_default(wimp_pointer *pointer);
@ -52,6 +53,8 @@ bool ro_gui_options_interface_initialise(wimp_w w)
option_history_tooltip);
ro_gui_set_icon_selected_state(w, INTERFACE_THUMBNAIL_ICONISE_OPTION,
option_thumbnail_iconise);
ro_gui_set_icon_selected_state(w, INTERFACE_USE_EXTERNAL_HOTLIST,
option_external_hotlists);
/* initialise all functions for a newly created window */
ro_gui_wimp_event_register_button(w, INTERFACE_DEFAULT_BUTTON,
@ -77,6 +80,8 @@ void ro_gui_options_interface_default(wimp_pointer *pointer)
INTERFACE_HISTORY_TOOLTIP_OPTION, true);
ro_gui_set_icon_selected_state(pointer->w,
INTERFACE_THUMBNAIL_ICONISE_OPTION, true);
ro_gui_set_icon_selected_state(pointer->w,
INTERFACE_USE_EXTERNAL_HOTLIST, false);
}
bool ro_gui_options_interface_ok(wimp_w w)
@ -91,6 +96,8 @@ bool ro_gui_options_interface_ok(wimp_w w)
INTERFACE_HISTORY_TOOLTIP_OPTION);
option_thumbnail_iconise = ro_gui_get_icon_selected_state(w,
INTERFACE_THUMBNAIL_ICONISE_OPTION);
option_external_hotlists = ro_gui_get_icon_selected_state(w,
INTERFACE_USE_EXTERNAL_HOTLIST);
ro_gui_save_options();
return true;

42
riscos/templates/de
View File

@ -2638,7 +2638,7 @@ wimp_window {
xscroll:0
yscroll:0
next:wimp_TOP
window_flags:wimp_WINDOW_MOVEABLE | wimp_WINDOW_SCROLL_REPEAT | wimp_WINDOW_IGNORE_XEXTENT | wimp_WINDOW_IGNORE_YEXTENT | wimp_WINDOW_BACK_ICON | wimp_WINDOW_CLOSE_ICON | wimp_WINDOW_TITLE_ICON | wimp_WINDOW_TOGGLE_ICON | wimp_WINDOW_VSCROLL | wimp_WINDOW_HSCROLL | wimp_WINDOW_SIZE_ICON | wimp_WINDOW_NEW_FORMAT
window_flags:wimp_WINDOW_MOVEABLE | wimp_WINDOW_SCROLL_REPEAT | wimp_WINDOW_IGNORE_XEXTENT | wimp_WINDOW_IGNORE_YEXTENT | wimp_WINDOW_BACK_ICON | wimp_WINDOW_CLOSE_ICON | wimp_WINDOW_TITLE_ICON | wimp_WINDOW_TOGGLE_ICON | wimp_WINDOW_VSCROLL | wimp_WINDOW_SIZE_ICON | wimp_WINDOW_HSCROLL | wimp_WINDOW_NEW_FORMAT
title_fg:wimp_COLOUR_BLACK
title_bg:wimp_COLOUR_LIGHT_GREY
work_fg:wimp_COLOUR_BLACK
@ -2860,7 +2860,7 @@ wimp_window {
wimp_window {
template_name:"con_inter"
visible:1114,368,1858,952
visible:1094,218,1838,918
xscroll:0
yscroll:0
next:wimp_TOP
@ -2873,7 +2873,7 @@ wimp_window {
scroll_inner:wimp_COLOUR_VERY_LIGHT_GREY
highlight_bg:wimp_COLOUR_CREAM
extra_flags:
extent:0,-584,744,0
extent:0,-700,744,0
title_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | 0x27000000
work_flags:
sprite_area:&1
@ -2991,7 +2991,7 @@ wimp_window {
text_and_sprite.validation:"Soptoff,opton"
}
wimp_icon {
extent:24,-552,188,-500
extent:24,-668,188,-616
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -3001,7 +3001,7 @@ wimp_window {
text.validation:"R5,3"
}
wimp_icon {
extent:360,-552,524,-500
extent:360,-668,524,-616
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -3011,7 +3011,7 @@ wimp_window {
text.validation:"R5,3"
}
wimp_icon {
extent:540,-560,724,-492
extent:540,-676,724,-608
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -3020,6 +3020,36 @@ wimp_window {
text.size:4
text.validation:"R6,3"
}
wimp_icon {
extent:16,-588,728,-492
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text.text:""
text.size:*
text.validation:"R4"
}
wimp_icon {
extent:36,-520,240,-476
icon_flags:wimp_ICON_TEXT | wimp_ICON_SPRITE | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text_and_sprite.text:"Hotlist"
text_and_sprite.size:23
text_and_sprite.validation:""
}
wimp_icon {
extent:32,-572,728,-528
icon_flags:wimp_ICON_TEXT | wimp_ICON_SPRITE | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED | wimp_BUTTON_RADIO
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text_and_sprite.text:"Use external hotlist apps when available"
text_and_sprite.size:*
text_and_sprite.validation:"Soptoff,opton"
}
}
wimp_window {

44
riscos/templates/en
View File

@ -833,7 +833,7 @@ wimp_window {
wimp_window {
template_name:"con_inter"
visible:1316,1004,2160,1588
visible:2320,508,3164,1220
xscroll:0
yscroll:0
next:wimp_TOP
@ -846,7 +846,7 @@ wimp_window {
scroll_inner:wimp_COLOUR_VERY_LIGHT_GREY
highlight_bg:wimp_COLOUR_CREAM
extra_flags:
extent:0,-584,844,0
extent:0,-712,844,0
title_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | 0x27000000
work_flags:
sprite_area:&1
@ -964,7 +964,7 @@ wimp_window {
text_and_sprite.validation:"Soptoff,opton"
}
wimp_icon {
extent:24,-552,188,-500
extent:24,-676,188,-624
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -974,7 +974,7 @@ wimp_window {
text.validation:"R5,3"
}
wimp_icon {
extent:456,-552,620,-500
extent:456,-676,620,-624
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -984,7 +984,7 @@ wimp_window {
text.validation:"R5,3"
}
wimp_icon {
extent:636,-560,820,-492
extent:636,-684,820,-616
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -993,6 +993,36 @@ wimp_window {
text.size:*
text.validation:"R6,3"
}
wimp_icon {
extent:16,-592,820,-496
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text.text:""
text.size:*
text.validation:"R4"
}
wimp_icon {
extent:36,-524,240,-480
icon_flags:wimp_ICON_TEXT | wimp_ICON_SPRITE | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text_and_sprite.text:"Hotlist"
text_and_sprite.size:23
text_and_sprite.validation:""
}
wimp_icon {
extent:32,-576,728,-532
icon_flags:wimp_ICON_TEXT | wimp_ICON_SPRITE | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED | wimp_BUTTON_RADIO
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text_and_sprite.text:"Use external hotlist apps when available"
text_and_sprite.size:*
text_and_sprite.validation:"Soptoff,opton"
}
}
wimp_window {
@ -3398,7 +3428,11 @@ wimp_window {
}
wimp_icon {
extent:32,-204,344,-160
#ifdef WITH_PLUGIN
icon_flags:wimp_ICON_TEXT | wimp_ICON_SPRITE | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED | wimp_BUTTON_RADIO
#else
icon_flags:wimp_ICON_TEXT | wimp_ICON_SPRITE | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED | wimp_ICON_DELETED | wimp_BUTTON_RADIO
#endif
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY

44
riscos/templates/fr
View File

@ -2648,7 +2648,7 @@ wimp_window {
xscroll:0
yscroll:0
next:wimp_TOP
window_flags:wimp_WINDOW_MOVEABLE | wimp_WINDOW_SCROLL_REPEAT | wimp_WINDOW_IGNORE_XEXTENT | wimp_WINDOW_IGNORE_YEXTENT | wimp_WINDOW_BOUNDED_ONCE | wimp_WINDOW_BACK_ICON | wimp_WINDOW_CLOSE_ICON | wimp_WINDOW_TITLE_ICON | wimp_WINDOW_TOGGLE_ICON | wimp_WINDOW_VSCROLL | wimp_WINDOW_HSCROLL | wimp_WINDOW_SIZE_ICON | wimp_WINDOW_NEW_FORMAT
window_flags:wimp_WINDOW_MOVEABLE | wimp_WINDOW_SCROLL_REPEAT | wimp_WINDOW_IGNORE_XEXTENT | wimp_WINDOW_IGNORE_YEXTENT | wimp_WINDOW_BOUNDED_ONCE | wimp_WINDOW_BACK_ICON | wimp_WINDOW_CLOSE_ICON | wimp_WINDOW_TITLE_ICON | wimp_WINDOW_TOGGLE_ICON | wimp_WINDOW_VSCROLL | wimp_WINDOW_SIZE_ICON | wimp_WINDOW_HSCROLL | wimp_WINDOW_NEW_FORMAT
title_fg:wimp_COLOUR_BLACK
title_bg:wimp_COLOUR_LIGHT_GREY
work_fg:wimp_COLOUR_BLACK
@ -3482,7 +3482,7 @@ wimp_window {
wimp_window {
template_name:"con_inter"
visible:368,234,1112,818
visible:264,362,1008,1066
xscroll:0
yscroll:0
next:wimp_TOP
@ -3495,12 +3495,12 @@ wimp_window {
scroll_inner:wimp_COLOUR_VERY_LIGHT_GREY
highlight_bg:wimp_COLOUR_CREAM
extra_flags:
extent:0,-584,744,0
extent:0,-772,744,0
title_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | 0x27000000
work_flags:
sprite_area:&1
xmin:744
ymin:584
ymin:704
text_only:"Interface"
wimp_icon {
extent:16,-168,728,-24
@ -3613,7 +3613,7 @@ wimp_window {
text_and_sprite.validation:"Soptoff,opton"
}
wimp_icon {
extent:24,-552,188,-500
extent:24,-672,188,-620
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -3623,7 +3623,7 @@ wimp_window {
text.validation:"R5,3"
}
wimp_icon {
extent:360,-552,524,-500
extent:360,-672,524,-620
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -3633,7 +3633,7 @@ wimp_window {
text.validation:"R5,3"
}
wimp_icon {
extent:540,-560,724,-492
extent:540,-680,724,-612
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -3642,6 +3642,36 @@ wimp_window {
text.size:*
text.validation:"R6,3"
}
wimp_icon {
extent:16,-588,728,-492
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text.text:""
text.size:*
text.validation:"R4"
}
wimp_icon {
extent:36,-520,240,-476
icon_flags:wimp_ICON_TEXT | wimp_ICON_SPRITE | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text_and_sprite.text:"Hotlist"
text_and_sprite.size:23
text_and_sprite.validation:""
}
wimp_icon {
extent:32,-572,728,-528
icon_flags:wimp_ICON_TEXT | wimp_ICON_SPRITE | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED | wimp_BUTTON_RADIO
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text_and_sprite.text:"Use external hotlist apps when available"
text_and_sprite.size:*
text_and_sprite.validation:"Soptoff,opton"
}
}
wimp_window {

42
riscos/templates/nl
View File

@ -833,7 +833,7 @@ wimp_window {
wimp_window {
template_name:"con_inter"
visible:136,384,880,968
visible:1212,764,1956,1472
xscroll:0
yscroll:0
next:wimp_TOP
@ -846,7 +846,7 @@ wimp_window {
scroll_inner:wimp_COLOUR_VERY_LIGHT_GREY
highlight_bg:wimp_COLOUR_CREAM
extra_flags:
extent:0,-584,744,0
extent:0,-708,744,0
title_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | 0x27000000
work_flags:
sprite_area:&1
@ -964,7 +964,7 @@ wimp_window {
text_and_sprite.validation:"Soptoff,opton"
}
wimp_icon {
extent:24,-552,188,-500
extent:24,-676,188,-624
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -974,7 +974,7 @@ wimp_window {
text.validation:"R5,3"
}
wimp_icon {
extent:360,-552,524,-500
extent:360,-676,524,-624
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -984,7 +984,7 @@ wimp_window {
text.validation:"R5,3"
}
wimp_icon {
extent:540,-560,724,-492
extent:540,-684,724,-616
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_FILLED | wimp_ICON_INDIRECTED | wimp_BUTTON_CLICK
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
@ -993,6 +993,36 @@ wimp_window {
text.size:*
text.validation:"R6,3"
}
wimp_icon {
extent:16,-592,728,-496
icon_flags:wimp_ICON_TEXT | wimp_ICON_BORDER | wimp_ICON_HCENTRED | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text.text:""
text.size:*
text.validation:"R4"
}
wimp_icon {
extent:36,-524,240,-480
icon_flags:wimp_ICON_TEXT | wimp_ICON_SPRITE | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text_and_sprite.text:"Hotlist"
text_and_sprite.size:23
text_and_sprite.validation:""
}
wimp_icon {
extent:32,-576,728,-532
icon_flags:wimp_ICON_TEXT | wimp_ICON_SPRITE | wimp_ICON_VCENTRED | wimp_ICON_INDIRECTED | wimp_BUTTON_RADIO
icon_esg:0
icon_fg:wimp_COLOUR_BLACK
icon_bg:wimp_COLOUR_VERY_LIGHT_GREY
text_and_sprite.text:"Use external hotlist apps when available"
text_and_sprite.size:*
text_and_sprite.validation:"Soptoff,opton"
}
}
wimp_window {
@ -2798,7 +2828,7 @@ wimp_window {
xscroll:0
yscroll:0
next:wimp_TOP
window_flags:wimp_WINDOW_MOVEABLE | wimp_WINDOW_SCROLL_REPEAT | wimp_WINDOW_IGNORE_XEXTENT | wimp_WINDOW_IGNORE_YEXTENT | wimp_WINDOW_BOUNDED_ONCE | wimp_WINDOW_BACK_ICON | wimp_WINDOW_CLOSE_ICON | wimp_WINDOW_TITLE_ICON | wimp_WINDOW_TOGGLE_ICON | wimp_WINDOW_VSCROLL | wimp_WINDOW_HSCROLL | wimp_WINDOW_SIZE_ICON | wimp_WINDOW_NEW_FORMAT
window_flags:wimp_WINDOW_MOVEABLE | wimp_WINDOW_SCROLL_REPEAT | wimp_WINDOW_IGNORE_XEXTENT | wimp_WINDOW_IGNORE_YEXTENT | wimp_WINDOW_BOUNDED_ONCE | wimp_WINDOW_BACK_ICON | wimp_WINDOW_CLOSE_ICON | wimp_WINDOW_TITLE_ICON | wimp_WINDOW_TOGGLE_ICON | wimp_WINDOW_VSCROLL | wimp_WINDOW_SIZE_ICON | wimp_WINDOW_HSCROLL | wimp_WINDOW_NEW_FORMAT
title_fg:wimp_COLOUR_BLACK
title_bg:wimp_COLOUR_LIGHT_GREY
work_fg:wimp_COLOUR_BLACK