Aarush Bhat

Results 23 issues of Aarush Bhat

Hi, Would love if gtop would have a field for uptime similar to the one in htop. Screenshot of uptime from htop: ![image](https://user-images.githubusercontent.com/54478821/115603882-51a39500-a2fe-11eb-9272-39e351658410.png)

This PR adds the feature of Folding Ranges to the Range Plugin. References: - Folding ranges from haskell/lsp (https://github.com/haskell/lsp/blob/5422dd13f0362917e5981e07d60617ca6e233833/lsp-types/src/Language/LSP/Types/FoldingRange.hs) - Folding ranges from LSP spec (https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_foldingRange)

- closes #3005 This PR is supposed to add support for comments in the range plugin as they are not supported in HieAST, which the plugin is based upon. It...

**Is your feature request related to a problem? Please describe.** @kokobd had pointed this out. When you expand selection(using `shift+alt+right arrow`) from within a comment, expand selection does not work...

type: enhancement
component: hls-code-range-plugin

Solves issue #57 and helps people from not being misled by the docs

I tried to install regolith-de on my manjaro setup but I am not able to open the application panel using Super + Space. System Config: ![image](https://user-images.githubusercontent.com/54478821/166170477-7f7b5450-a8f4-4603-8706-174b199dff4f.png)

In the **'in your area'** section, to view the number of COVID cases we need to wait till the box automatically scrolls. It would be a better UX if it...

### Describe the issue you are having I had created a PR(#993) with only readme changes and the Jenkins CI built the entire repo(and failed, not sure why). I am...

Is it possible to add a URL to the RIDE user guide(https://docs.dyalog.com/latest/RIDE%20User%20Guide.pdf) be mentioned in the docs? It would be a little more convenient for users to find the docs.

I used the website on `brave browser`, and the share button does not do anything, download the image buttons work perfectly. I guess this is like a share popup in...

bug