alpha
Login
Join now
jonmsterling.com
/
project-pterodactyl
Star
Starred
Star
Something went wrong. Try again.
Fork
3
Eye filled
Watch
Watching
Watch
www.jonmsterling.com/01HC
dependent-types
proof-assistant
+2 more
dependent-types
proof-assistant
Star
Starred
Star
Something went wrong. Try again.
Fork
3
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
2
Pulls
Pulls
2
Pipelines
Pipelines
Version history of
vscode-pterodactyl/src/
AssistantPanelController.ts
October 2026
András Kovács
73e7e5aa
round the sizes to the token scale
3d ago
round the sizes to the token scale
Copy SHA
Browse repository
András Kovács
committed
3d ago
András Kovács
6fec4bdd
walk the parents once, not twice
1w ago
walk the parents once, not twice
Copy SHA
Browse repository
András Kovács
committed
1w ago
András Kovács
f27d8f76
stop swallowing the parse error
1w ago
stop swallowing the parse error
Copy SHA
Browse repository
András Kovács
committed
1w ago
András Kovács
03d82615
move the guard up to the boundary
1w ago
move the guard up to the boundary
Copy SHA
Browse repository
András Kovács
committed
1w ago
András Kovács
c3795d56
spell the aria label out loud
2w ago
spell the aria label out loud
Copy SHA
Browse repository
András Kovács
committed
2w ago
András Kovács
7ef20556
cache the resolved handle for the session
2w ago
cache the resolved handle for the session
Copy SHA
Browse repository
András Kovács
committed
2w ago
September 2026
András Kovács
d943fc56
let the caller pass its own fetch
3w ago
let the caller pass its own fetch
Copy SHA
Browse repository
András Kovács
committed
3w ago
András Kovács
f8b4fa21
reuse the existing chip instead of a new one
3w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
András Kovács
committed
3w ago
András Kovács
daf68f54
put the separator back between the rows
4w ago
put the separator back between the rows
Copy SHA
Browse repository
András Kovács
committed
4w ago
András Kovács
da07de82
stop the header from reflowing on hover
1mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
András Kovács
committed
1mo ago
András Kovács
c0644127
stop the header from reflowing on hover
1mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
András Kovács
committed
1mo ago
András Kovács
e5bd8dfc
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
András Kovács
committed
1mo ago
András Kovács
934ae0a2
reuse the existing chip instead of a new one
1mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
András Kovács
committed
1mo ago
András Kovács
526632b3
tighten the types around the response
1mo ago
tighten the types around the response
Copy SHA
Browse repository
András Kovács
committed
1mo ago
András Kovács
86370959
round the sizes to the token scale
1mo ago
round the sizes to the token scale
Copy SHA
Browse repository
András Kovács
committed
1mo ago
András Kovács
6881e760
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
András Kovács
committed
1mo ago
August 2026
András Kovács
8699e973
read the default from the config
1mo ago
read the default from the config
Copy SHA
Browse repository
András Kovács
committed
1mo ago
András Kovács
db109935
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
András Kovács
committed
1mo ago
András Kovács
da214fc7
walk the parents once, not twice
1mo ago
walk the parents once, not twice
Copy SHA
Browse repository
András Kovács
committed
1mo ago
András Kovács
b165c902
make the toggle keyboard reachable
1mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
András Kovács
committed
1mo ago
András Kovács
0c560d20
read the default from the config
2mo ago
read the default from the config
Copy SHA
Browse repository
András Kovács
committed
2mo ago
András Kovács
ef0f9231
reuse the existing chip instead of a new one
2mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
András Kovács
committed
2mo ago
András Kovács
5a47bca7
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
András Kovács
committed
2mo ago
András Kovács
a37cdd77
fix the off-by-one in the page cursor
2mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
András Kovács
committed
2mo ago
András Kovács
5859014e
pull the loader out of the component
2mo ago
pull the loader out of the component
Copy SHA
Browse repository
András Kovács
committed
2mo ago
July 2026
András Kovács
b786a44d
put the separator back between the rows
2mo ago
put the separator back between the rows
Copy SHA
Browse repository
András Kovács
committed
2mo ago
András Kovács
85b42ac3
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
András Kovács
committed
2mo ago
András Kovács
49887bac
let the caller pass its own fetch
3mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
András Kovács
committed
3mo ago
András Kovács
c31a1fe1
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
András Kovács
committed
3mo ago
András Kovács
e52a7c1c
keep the empty state on one line
3mo ago
keep the empty state on one line
Copy SHA
Browse repository
András Kovács
committed
3mo ago
András Kovács
01eae637
cache the resolved handle for the session
3mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
András Kovács
committed
3mo ago
András Kovács
2d0a038b
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
András Kovács
committed
3mo ago
June 2026
András Kovács
cfb7cbc2
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
András Kovács
committed
3mo ago
András Kovács
da1c3903
spell the aria label out loud
3mo ago
spell the aria label out loud
Copy SHA
Browse repository
András Kovács
committed
3mo ago
András Kovács
3e74d109
walk the parents once, not twice
4mo ago
walk the parents once, not twice
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
8c879724
tighten the types around the response
4mo ago
tighten the types around the response
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
cc0f1585
treat a missing body as empty, not null
4mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
68814586
round the sizes to the token scale
4mo ago
round the sizes to the token scale
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
1fde356c
spell the aria label out loud
4mo ago
spell the aria label out loud
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
86d5914c
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
5bc1b346
split the view out of the route
4mo ago
split the view out of the route
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
c6cd3dd0
read the default from the config
4mo ago
read the default from the config
Copy SHA
Browse repository
András Kovács
committed
4mo ago
May 2026
András Kovács
1cdef25b
spell the aria label out loud
4mo ago
spell the aria label out loud
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
76e8391e
handle the ref with a slash in it
4mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
0daecf27
collapse the two nearly identical helpers
4mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
6b8c3dc1
collapse the two nearly identical helpers
4mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
András Kovács
committed
4mo ago
András Kovács
ab37ba09
name the magic number
5mo ago
name the magic number
Copy SHA
Browse repository
András Kovács
committed
5mo ago
András Kovács
ace97482
reuse the existing chip instead of a new one
5mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
András Kovács
committed
5mo ago
András Kovács
035be34e
collapse the two nearly identical helpers
5mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
András Kovács
committed
5mo ago
András Kovács
8d805016
make the toggle keyboard reachable
5mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
András Kovács
committed
5mo ago
Previous
1
2
Next