mirror of
https://github.com/GraphiteEditor/Graphite.git
synced 2026-09-27 00:18:12 +08:00
Remove usage of 'null' in favor of 'undefined'
This commit is contained in:
@@ -164,7 +164,7 @@ export default defineComponent({
|
||||
inject: ["fullscreen"],
|
||||
props: {
|
||||
keysWithLabelsGroups: { type: Array as PropType<KeysGroup[]>, default: () => [] },
|
||||
mouseMotion: { type: String as PropType<MouseMotion | null>, default: null },
|
||||
mouseMotion: { type: String as PropType<MouseMotion | undefined>, required: false },
|
||||
requiresLock: { type: Boolean as PropType<boolean>, default: false },
|
||||
},
|
||||
computed: {
|
||||
@@ -210,7 +210,7 @@ export default defineComponent({
|
||||
// ...or display text
|
||||
return { label, width: `width-${label.length}` };
|
||||
},
|
||||
mouseHintIcon(input: MouseMotion | null): IconName {
|
||||
mouseHintIcon(input?: MouseMotion): IconName {
|
||||
return `MouseHint${input}` as IconName;
|
||||
},
|
||||
keyboardHintIcon(input: KeyRaw): IconName | undefined {
|
||||
|
||||
Reference in New Issue
Block a user