Comments (6)
Usually @stale
closes posts, the authors of which have disappeared and stopped responding. In my case, it's a little bit different:
from github-defreshed.
something I noticed and wanted to let you know
Thanks a lot! Sometimes it's really helpful as I don't always notice changes made by Microsoft :)
Don't want to request some features which aren't very important and are very subjective
Nothing to worry about: a lot of stuff about UI in general is "not very important" and "subjective", but all these small features form an interface we're comfortable with
it's up to you whether to add this feature or not
I think I'll ship it with a new version. Right now I have some things to do, so it will be a week or something like this
from github-defreshed.
Not a bug, but a feature :)
Yep, toolbars definitely lost a few pixels, but it was intentional. At the moment, with the help of Microsoft, they have grown to insane proportions:
And I really don't know why these guys are so much into wasting space...
Web archive seems to be unavailable now, see the screenshots above, will add an example when it's back up, but it's easy to find out
Well, it's up now (at least for me), so I've just used the link you gave me earlier:
With GitHub-Defreshed:
So, yeah, it seems like I overdid slimming a little bit (38.3
< 43.6
), but did I really? As for me, even "golden age" toolbar was kinda plumper than it should be. Anyway, as always, I'm open for suggestions, so I can make this thing optional :) Should I?
from github-defreshed.
Thank you for replying! Yeah, I checked the recent UI and it's now ridiculously wide. Not really an issue to me, just something I noticed and wanted to let you know (I am just used to old style visually).
I think it is fine, but if you add this option it would be great. Don't want to request some features which aren't very important and are very subjective.
I will close the issue, it's up to you whether to add this feature or not, this script is already helping lots of people!
Thank you very much.
from github-defreshed.
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.
from github-defreshed.
Not stale (:
from github-defreshed.
Related Issues (20)
- they do something again? HOT 10
- Request: Non-minified userscript HOT 9
- Broken link for contributors on forks HOT 5
- First reaction still has wrong border-radius HOT 1
- What should we do next? HOT 2
- script errors normal?? HOT 1
- Add the version number to the summary bar HOT 8
- Add an option to have the languages information always open by default
- Top bar buttons displayed vertically when used together with Refined GitHub extension HOT 11
- [BUG] Terrible performance on own profile page (Firefox only) HOT 17
- "Any browser" installation instructions broken in readme HOT 1
- some pages still display incorrectly HOT 3
- Can't open repository page HOT 17
- Can't open repository page (Firefox) HOT 4
- Remove Public/Private badge after repo name HOT 1
- Extension is broken after latest github design updates HOT 13
- Wrong URL when there's only one contributor HOT 1
- Is the padding right? Feels cramped... HOT 5
- Github broke the UI again HOT 10
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from github-defreshed.