feat: Implement the eBPF profile widget on dashboard (#72)

This commit is contained in:
Fine0830
2022-04-24 20:24:23 +08:00
committed by GitHub
parent 393885324b
commit 8a07b1d804
38 changed files with 1894 additions and 113 deletions

View File

@@ -32,7 +32,7 @@ interface Option {
const emit = defineEmits(["change"]);
const props = defineProps({
options: {
type: Array as PropType<(Option & { disabled: boolean })[]>,
type: Array as PropType<Option[]>,
default: () => [],
},
value: {
@@ -44,7 +44,7 @@ const props = defineProps({
const selected = ref<string>(props.value);
function checked(opt: string) {
function checked(opt: unknown) {
emit("change", opt);
}
</script>