mirror of
https://gitlab.kit.edu/uskyk/typicalc.git
synced 2024-11-09 10:50:42 +00:00
merge
This commit is contained in:
commit
f1df0fee45
@ -22,10 +22,6 @@
|
||||
width: 100%;
|
||||
}
|
||||
|
||||
#typeButtonCopy {
|
||||
min-width: 110px;
|
||||
}
|
||||
|
||||
#closeIcon {
|
||||
right: 0;
|
||||
position: absolute;
|
||||
|
@ -32,7 +32,6 @@ public class HelpDialog extends Dialog implements LocaleChangeObserver {
|
||||
private static final String CONTENT_LAYOUT_ID = "contentLayout";
|
||||
private static final String LANGUAGE_SELECT_ID = "languageSelect";
|
||||
private static final String ACCORDION_ID = "accordion";
|
||||
private static final String TYPE_BUTTON_COPY_ID = "typeButtonCopy";
|
||||
private static final String CLOSE_ICON_ID = "closeIcon";
|
||||
|
||||
private final H3 heading;
|
||||
|
@ -26,7 +26,7 @@ root.title404=404 - Seite nicht gefunden
|
||||
root.message404=Versuche /infer/<term> oder gebe deinen Lieblingsterm in das Eingabefeld ein
|
||||
root.drawer=Drawer (Ableitungsregeln)
|
||||
root.example=Beispiele
|
||||
root.shortcuts=Shortcuts
|
||||
root.shortcuts=Tastaturbefehle
|
||||
root.inputField=Eingabefeld
|
||||
root.typeInferButton=Typisieren-Knopf
|
||||
root.firstStepButton=Erster-Schritt-Knopf
|
||||
|
Loading…
Reference in New Issue
Block a user