georgf

/*
 * This hides the horizontal top-level tab strip & makes the tab sidebar autoshrink.
 *
 * This needs to be added to the userChrome.css, see e.g. here for more:
 * https://github.com/eoger/tabcenter-redux/wiki/Custom-CSS-Tweaks#userchromecss-tweaks
 *
 * Also requires in about:config to set browser.tabs.drawInTitlebar to false.
 */

@-moz-document url("chrome://browser/content/browser.xul") {

georgf

[
  {
    "label": "never",
    "value": 0.785977356
  },
  {
    "label": "sometimes",
    "value": 0.21374983
  },
  {

georgf

{
  "type": "object",
  "required": [
    "id",
    "description",
    "match",
    "buckets",
    "branches"
  ],
  "properties": {

georgf

// https://frarees.github.io/default-gist-license

using System;
using UnityEngine;

[AttributeUsage(AttributeTargets.Field, Inherited = true, AllowMultiple = false)]
public class MinMaxSliderAttribute : PropertyAttribute
{
    public float Min { get; set; }
    public float Max { get; set; }