<string name="pages$profile-page$options-menu">The three dots menu in the top-right corner opens the options-menu. It contains several options such as--\n\\begin{itemize}\n \\item \\textbf{Apply.} This option can be used to apply the profile directly. When\n clicked, a dialog is displayed where it is possible to select a \\hyperref[subsubsec:profile-state]{profile state}.\n On selecting one of the states, the profile will be applied immediately.\n \\begin{tip}{Notice}\n When you apply a profile, if some packages do not match the criteria, they will simply be ignored.\n \\end{tip}\n\n \\item \\textbf{Save.} Save changes to the profile.\n\n \\item \\textbf{Discard.} Discard any modifications made since the last time it was saved.\n\n \\item \\textbf{Delete.} Clicking on this option will remove the profile immediately without a warning.\n\n \\item \\textbf{Duplicate.} This option can be used to duplicate the profile. When clicked, a\n dialog is displayed where it is possible to set a name for the new profile. On clicking ``OK\'\',\n this page will be reloaded by duplicating all the configurations that this profile have.\n However, the new profile will not be saved until it is saved manually.\n\n \\item \\textbf{Create shortcut.} This option can be used to create a shortcut for the profile.\n There are two options: \\textit{Simple} and \\textit{Advanced}. When configured with the latter\n option, it prompts the user to select a profile state when the shortcut is invoked. The former\n option, on the other hand, always uses the default state that was configured when the profile\n was last saved.\n\\end{itemize}</string>
0 commit comments