use consistent tooltip delay

src/settings/ui.ts

@@ -0,0 +1,7 @@
+// SPDX-License-Identifier: MIT
+// Copyright (c) 2021 The Pybricks Authors
+
+// Definitions for compile-time UI settings.
+
+/** Time in milliseconds before showing tooltip popover. */
+export const tooltipDelay = 1000;

src/settings/user.ts

@@ -1,9 +1,9 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) 2021 The Pybricks Authors
 
-import { prefersDarkMode } from '../utils/os';
+// Definitions for user selectable settings.
 
-// Definitions for user settings.
+import { prefersDarkMode } from '../utils/os';
 
 export enum SettingId {
     ShowDocs = 'showDocs',