Ejemplo n.º 1
0
        public static void DrawButtons(Listing_Standard listing)
        {
            var i = 0;
            var r = new Rect();

            DrawInputIcon(ResourceCache.Strings.devoptions_input_method, CurrentInput.Method);
            DrawInputIcon(ResourceCache.Strings.devoptions_input_methodinternal, CurrentInput.InternalMethod);
            DrawInputIcon(ResourceCache.Strings.devoptions_input_methodharmony, CurrentInput.MethodHarmony);
            DrawInputIcon(ResourceCache.Strings.devoptions_input_type, CurrentInput.Type);
            DrawInputIcon(ResourceCache.Strings.devoptions_input_subclasses, CurrentInput.SubClasses);
            DrawInputIcon(ResourceCache.Strings.devoptions_input_typeharmony, CurrentInput.TypeHarmony);
            DrawInputIcon(ResourceCache.Strings.devoptions_input_assembly, CurrentInput.Assembly);

            void DrawInputIcon(string key, CurrentInput inputType)
            {
                if (i++ % 2 == 0)
                {
                    r    = listing.GetRect(Text.LineHeight + 3).LeftPart(.49f);
                    r.x += listing.ColumnWidth * .01f;
                }
                else
                {
                    r.x += listing.ColumnWidth / 2;
                }

                DubGUI.OptionalBox(r, key, () => input = inputType, input == inputType);
            }
        }
Ejemplo n.º 2
0
        public static void DisplaySelectionOptions(Listing_Standard listing)
        {
            var box = listing.GetRect(Text.LineHeight);

            var tickBox   = box.LeftPart(.24f);
            var updateBox = box.LeftPartPixels(listing.ColumnWidth * .48f);

            updateBox.AdjustHorizonallyBy(box.width / 4);


            box.AdjustHorizonallyBy(box.width / 2);

            DubGUI.OptionalBox(tickBox, "devoptions.patchtype.tick".TranslateSimple(), () => patchType     = Category.Tick, patchType == Category.Tick);
            DubGUI.OptionalBox(updateBox, "devoptions.patchtype.update".TranslateSimple(), () => patchType = Category.Update, patchType == Category.Update);

            if (Widgets.ButtonText(box, "Patch"))
            {
                if (!string.IsNullOrEmpty(currentInput))
                {
                    ExecutePatch();
                }
            }
        }