Package limn.backend.spi

Record Class SystemMenuLabels

java.lang.Object
java.lang.Record
limn.backend.spi.SystemMenuLabels
Record Components:
about - names the application
settings - opens the settings
services - the system's services
hide - names the application
hideOthers - hides every other application
showAll - shows them again
quit - names the application
window - the Window menu's title
minimize - puts the window away
zoom - makes the window as large as its content asks
edit - the title of the Edit menu the toolkit gives a panel of the system's, whose text fields take their editing chords from the bar
undo - the six editing commands of that menu
redo - likewise
cut - likewise
copy - likewise
paste - likewise
selectAll - likewise
public record SystemMenuLabels(String about, String settings, String services, String hide, String hideOthers, String showAll, String quit, String window, String minimize, String zoom, String edit, String undo, String redo, String cut, String copy, String paste, String selectAll) extends Record
The words the toolkit writes in a system's menu bar for the items that are not the application's: those of the application's own menu and of a Window menu given to an application that named none. In the application's language, with the wording the system uses.

  • Constructor Details

    • SystemMenuLabels

      public SystemMenuLabels(String about, String settings, String services, String hide, String hideOthers, String showAll, String quit, String window, String minimize, String zoom, String edit, String undo, String redo, String cut, String copy, String paste, String selectAll)
      Creates an instance of a SystemMenuLabels record class.
      Parameters:
      about - the value for the about record component
      settings - the value for the settings record component
      services - the value for the services record component
      hide - the value for the hide record component
      hideOthers - the value for the hideOthers record component
      showAll - the value for the showAll record component
      quit - the value for the quit record component
      window - the value for the window record component
      minimize - the value for the minimize record component
      zoom - the value for the zoom record component
      edit - the value for the edit record component
      undo - the value for the undo record component
      redo - the value for the redo record component
      cut - the value for the cut record component
      copy - the value for the copy record component
      paste - the value for the paste record component
      selectAll - the value for the selectAll record component

  • Method Details

    • current

      public static SystemMenuLabels current(String applicationName)
      Parameters:
      applicationName - the application's name, as the system shows it in its bar
      Returns:
      the labels in the application's language now

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • about

      public String about()
      Returns the value of the about record component.
      Returns:
      the value of the about record component

    • settings

      public String settings()
      Returns the value of the settings record component.
      Returns:
      the value of the settings record component

    • services

      public String services()
      Returns the value of the services record component.
      Returns:
      the value of the services record component

    • hide

      public String hide()
      Returns the value of the hide record component.
      Returns:
      the value of the hide record component

    • hideOthers

      public String hideOthers()
      Returns the value of the hideOthers record component.
      Returns:
      the value of the hideOthers record component

    • showAll

      public String showAll()
      Returns the value of the showAll record component.
      Returns:
      the value of the showAll record component

    • quit

      public String quit()
      Returns the value of the quit record component.
      Returns:
      the value of the quit record component

    • window

      public String window()
      Returns the value of the window record component.
      Returns:
      the value of the window record component

    • minimize

      public String minimize()
      Returns the value of the minimize record component.
      Returns:
      the value of the minimize record component

    • zoom

      public String zoom()
      Returns the value of the zoom record component.
      Returns:
      the value of the zoom record component

    • edit

      public String edit()
      Returns the value of the edit record component.
      Returns:
      the value of the edit record component

    • undo

      public String undo()
      Returns the value of the undo record component.
      Returns:
      the value of the undo record component

    • redo

      public String redo()
      Returns the value of the redo record component.
      Returns:
      the value of the redo record component

    • cut

      public String cut()
      Returns the value of the cut record component.
      Returns:
      the value of the cut record component

    • copy

      public String copy()
      Returns the value of the copy record component.
      Returns:
      the value of the copy record component

    • paste

      public String paste()
      Returns the value of the paste record component.
      Returns:
      the value of the paste record component

    • selectAll

      public String selectAll()
      Returns the value of the selectAll record component.
      Returns:
      the value of the selectAll record component