James Sugrue [asked][1], "@GitHubAPI is there a way to find the number of stars for a given repository?"
$ curl -ni "https://api.github.com/search/repositories?q=more+useful+keyboard" -H 'Accept: application/vnd.github.preview'
{
@Composable | |
fun SegmentedArcProgressIndicator( | |
progress: Float, | |
strokeWidth: Float = 48f, | |
maxAngle: Float = 160f, | |
gapAngle: Float = 15f, | |
backgroundColor: Color = Color(0xffCBE0E8), | |
progressColor: Brush = Brush.linearGradient(listOf(Color(0xff83B2D1), Color(0xff106AA7))) | |
) { | |
val animatedProgress by animateFloatAsState( |
{ | |
"shell": true, | |
"cmd": ["mcs $file ; mono $file_base_name.exe"], | |
"selector": "source.cs" | |
} |