restore "Other Options" panel item, so that people can edit boot options

19 years ago · 7046981c72
parent 2011c6a83e
commit 7046981c72
31 changed files with 190 additions and 1 deletions
--- a/boot.config
+++ b/boot.config
@ -18,6 +18,7 @@
 %% include dia_profile.inc
 %% include dia_install.inc
 %% include dia_bits.inc
+%% include dia_options.inc
 %% include panel.inc
 %% include keytables.inc
 %% include locale.inc
--- a/dia_options.inc
+++ b/dia_options.inc
@ -0,0 +1,50 @@
+% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+%
+% Panel 'more options' entry.
+%
+% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+
+% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+% Show help window.
+%
+% ( ) => ( )
+%
+/panel.options {
+  boot.show not {
+    /boot.show true def
+    boot.setup
+
+    boot.window .color.fg get setcolor
+    boot.window .ed.font get setfont  
+
+    boot.ed 3 get
+    boot.ed over edit.init
+    "" ne { boot.ed ' ' edit.input } if
+  } if
+
+  /window.action actRedraw def
+} def
+
+
+% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+% Return width of options entry.
+%
+% ( ) => ( width )
+%
+/panel.options.width {
+  txt_other_options strsize pop
+} def
+
+
+% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+% Redraw panel entry.
+%
+% ( panel ) => ( )
+%
+/panel.options.update {
+  panel.text.moveto
+
+  txt_other_options show
+} def
+
+
--- a/install.config
+++ b/install.config
@ -18,6 +18,7 @@
 %% include dia_profile.inc
 %% include dia_install.inc
 %% include dia_bits.inc
+%% include dia_options.inc
 %% include panel.inc
 %% include keytables.inc
 %% include locale.inc
--- a/panel.inc
+++ b/panel.inc
@ -42,11 +42,13 @@
      livecd {

        [ keyF2 0 "F2" /panel.video /panel.video.width /panel.video.update /video.init ]
+        [ keyF3 0 "F3" /panel.options /panel.options.width /panel.options.update .undef ]

      } {

        [ keyF2 0 "F2" /panel.lang /panel.lang.width /panel.lang.update /lang.init ]
-        [ keyF3 0 "F3" /panel.video /panel.video.width /panel.video.update /video.init ]
+        [ keyF3 0 "F3" /panel.options /panel.options.width /panel.options.update .undef ]
+        [ keyF4 0 "F4" /panel.video /panel.video.width /panel.video.update /video.init ]

        32+64bit_source {
          64bit {
--- a/po/bg.po
+++ b/po/bg.po
@ -221,6 +221,11 @@ msgstr "Инсталиране от HTTP"
 msgid "Domain\n"
 msgstr "Домейн\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Други параметри"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/bootloader.pot
+++ b/po/bootloader.pot
@ -187,6 +187,11 @@ msgstr ""
 msgid "Domain\n"
 msgstr ""

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr ""
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/cs.po
+++ b/po/cs.po
@ -220,6 +220,11 @@ msgstr "HTTP instalace"
 msgid "Domain\n"
 msgstr "Doména\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Další volby"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/da.po
+++ b/po/da.po
@ -200,6 +200,11 @@ msgstr "HTTP installation"
 msgid "Domain\n"
 msgstr "Domæne\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Andre indstillinger"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/de.po
+++ b/po/de.po
@ -218,6 +218,11 @@ msgstr "HTTP-Installation"
 msgid "Domain\n"
 msgstr "Domain\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Weitere Optionen"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/el.po
+++ b/po/el.po
@ -219,6 +219,11 @@ msgstr "Εγκατάσταση HTTP"
 msgid "Domain\n"
 msgstr "Περιοχή\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Άλλες Επιλογές"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/es.po
+++ b/po/es.po
@ -219,6 +219,11 @@ msgstr "Instalación HTTP"
 msgid "Domain\n"
 msgstr "Dominio\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Otras opciones"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/fi.po
+++ b/po/fi.po
@ -200,6 +200,11 @@ msgstr "HTTP-asennus"
 msgid "Domain\n"
 msgstr "Toimialue\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Muut valinnat"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/fr.po
+++ b/po/fr.po
@ -223,6 +223,11 @@ msgstr "Installation HTTP"
 msgid "Domain\n"
 msgstr "Domaine\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Autres options"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/hu.po
+++ b/po/hu.po
@ -221,6 +221,11 @@ msgstr "HTTP telepítés"
 msgid "Domain\n"
 msgstr "Tartomány\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Egyéb beállítások"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/it.po
+++ b/po/it.po
@ -218,6 +218,11 @@ msgstr "Installazione HTTP"
 msgid "Domain\n"
 msgstr "Domino\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Altre opzioni"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/ja.po
+++ b/po/ja.po
@ -213,6 +213,11 @@ msgstr "HTTPインストール"
 msgid "Domain\n"
 msgstr "ドメイン\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "その他のオプション"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/lt.po
+++ b/po/lt.po
@ -215,6 +215,11 @@ msgstr "Diegimas per HTTP"
 msgid "Domain\n"
 msgstr "Domenas\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Kiti parametrai"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/nb.po
+++ b/po/nb.po
@ -217,6 +217,11 @@ msgstr "HTTP-installasjon"
 msgid "Domain\n"
 msgstr "Domene\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Andre valg"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/nl.po
+++ b/po/nl.po
@ -221,6 +221,11 @@ msgstr "HTTP-installatie"
 msgid "Domain\n"
 msgstr "Domein\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Andere opties"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/pl.po
+++ b/po/pl.po
@ -211,6 +211,11 @@ msgstr "Instalacja HTTP"
 msgid "Domain\n"
 msgstr "Domena\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Inne opcje"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/pt.po
+++ b/po/pt.po
@ -200,6 +200,11 @@ msgstr "Instalação HTTP"
 msgid "Domain\n"
 msgstr "Domínio\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Outras Opções"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/pt_BR.po
+++ b/po/pt_BR.po
@ -214,6 +214,11 @@ msgstr "Instalação por HTTP"
 msgid "Domain\n"
 msgstr "Domínio\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Outras Opções"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/ro.po
+++ b/po/ro.po
@ -221,6 +221,11 @@ msgstr "Instalare prin HTTP"
 msgid "Domain\n"
 msgstr ""

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr ""
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/ru.po
+++ b/po/ru.po
@ -223,6 +223,11 @@ msgstr "Установка по HTTP"
 msgid "Domain\n"
 msgstr ""

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr ""
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/sk.po
+++ b/po/sk.po
@ -225,6 +225,11 @@ msgstr "HTTP Inštalácia"
 msgid "Domain\n"
 msgstr "Doména\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr ""
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/sl.po
+++ b/po/sl.po
@ -221,6 +221,11 @@ msgstr "Namestitev preko HTTP"
 msgid "Domain\n"
 msgstr "Domena\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Ostale možnosti"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/sr.po
+++ b/po/sr.po
@ -197,6 +197,11 @@ msgstr "HTTP инсталација"
 msgid "Domain\n"
 msgstr "Домен\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Остале опције"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/sv.po
+++ b/po/sv.po
@ -218,6 +218,11 @@ msgstr "HTTP-installation"
 msgid "Domain\n"
 msgstr "Domän\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "Fler alternativ"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/uk.po
+++ b/po/uk.po
@ -223,6 +223,11 @@ msgstr "Встановлення через HTTP"
 msgid "Domain\n"
 msgstr "Домен\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr ""
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/zh_CN.po
+++ b/po/zh_CN.po
@ -214,6 +214,11 @@ msgstr "HTTP 安装"
 msgid "Domain\n"
 msgstr "域\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "其他选项"
+
 # label for language selection
 #. txt_language
 msgid "Language"
--- a/po/zh_TW.po
+++ b/po/zh_TW.po
@ -214,6 +214,11 @@ msgstr "HTTP 安裝"
 msgid "Domain\n"
 msgstr "領域\n"

+# button label for other/more options
+#. txt_other_options
+msgid "Other Options"
+msgstr "其他選項"
+
 # label for language selection
 #. txt_language
 msgid "Language"