urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-02 21:34:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

webterm: tune spinner values

Browse Source
This commit is contained in:
fang 2022-07-17 15:28:55 +02:00
parent 8d0ca32c5d
commit f5089b77eb
No known key found for this signature in database
GPG Key ID: EB035760C1BBA972
2 changed files with 2 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkg/interface/webterm/Spinner.tsx
View File

@ -2,13 +2,9 @@ import useIsMounted from './lib/useIsMounted';
import React from 'react';
import { useEffect, useState } from 'react';
// TODO: Tune these values
const DELAY_MS = 1000;
const FRAME_MS = 200;
// Some alternative ASCII spinners:
// https://stackoverflow.com/questions/2685435/cooler-ascii-spinners
// const CHARS = '⣾⣽⣻⢿⡿⣟⣯⣷';
const CHARS = '◴◷◶◵';
const FRAME_MS = 250;
const CHARS = '|/-\\';
const Spinner = () => {
const [index, setIndex] = useState(0);

7
pkg/interface/webterm/Tab.tsx
View File

@ -41,13 +41,6 @@ export const Tab = ( { session, name }: TabProps ) => {
});
}, [session]);
// TODO: sometimes the pending is not decremented?
useEffect(() => {
if(session) {
console.log(`${session.subscriptionId}: ${session.pending} pending`);
}
}, [session]);
return (
<div className={'tab ' + (isSelected ? 'selected' : '')} onClick={onClick}>
<a className='session-name'>