Skip to content

Some misc near parallel UI changes - #1208

Merged
Martii merged 1 commit into
OpenUserJS:masterfrom
Martii:someMiscUIchanges
Oct 30, 2017
Merged

Martii merged 1 commit into
OpenUserJS:masterfrom
Martii:someMiscUIchanges

Conversation

@Martii

@Martii Martii commented Oct 30, 2017

Copy link
Copy Markdown
Member
  • Change some icons around
  • Add a tooltip
  • Move default licensing arbitration to view instead of code... allows visual detection

Post #1204 #191 Loosely related to #116, and #944 via #970

* Change some icons around
* Add a tooltip
* Move default licensing arbitration to view instead of code... allows visual detection

Post OpenUserJS#1204 OpenUserJS#191 Loosely related to OpenUserJS#116, and OpenUserJS#944 via OpenUserJS#970
@Martii Martii added enhancement Something we do have implemented already but needs improvement upon to the best of knowledge. UI Pertains inclusively to the User Interface. labels Oct 30, 2017
@Martii
Martii merged commit 0318ec5 into OpenUserJS:master Oct 30, 2017
@Martii
Martii deleted the someMiscUIchanges branch October 30, 2017 21:00
Martii added a commit to Martii/OpenUserJS.org that referenced this pull request Dec 15, 2018
* Link in the FAQ for this

Post OpenUserJS#944 OpenUserJS#970 OpenUserJS#389 ... missed somewhere around OpenUserJS#976 to OpenUserJS#1208 *(vaguely recall this was on the script homepage originally and moved to source code page)*. Needed for OpenUserJS#1548 to calm network traffic issues which appear to be global with Level3. Over 17,000 sites are down according to pingdom.
Martii added a commit that referenced this pull request Dec 15, 2018
* Link in the FAQ for this

Post #944 #970 #389 ... missed somewhere around #976 to #1208 *(vaguely recall this was on the script homepage originally and moved to source code page)*. Needed for #1548 to calm network traffic issues which appear to be global with Level3. Over 17,000 sites are down according to pingdom.

Auto-merge
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators May 9, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement Something we do have implemented already but needs improvement upon to the best of knowledge. UI Pertains inclusively to the User Interface.

Development

Successfully merging this pull request may close these issues.

1 participant