HideHL/Texture: add mip maps selector

Author: LeoVgr

hide_hl/hide/view/Texture.hx

@@ -399,6 +399,22 @@ class Texture extends HuiView<{path: String}> {
 		zoomInputBox.dom.addClass("group");
 		widgets.push(zoomInputBox);
 
+		var mipSel = new HuiSelect();
+		mipSel.dom.setId("mip-sel");
+		if (shader.compressedTex.mipLevels > 0) {
+			var h = shader.compressedTex.height;
+			var w = shader.compressedTex.width;
+			mipSel.items = [ for (idx in 0...shader.compressedTex.mipLevels) { label: 'Mip $idx - ${w / (hxd.Math.pow(2, idx))}x${h / (hxd.Math.pow(2, idx))}', value: idx}];
+			mipSel.value = 0;
+		}
+		else {
+			mipSel.visible = false;
+		}
+		mipSel.onValueChanged = () -> {
+			shader.mipLod = mipSel.value;
+		}
+		widgets.push(mipSel);
+
 		new HuiIcon("question_mark", helpBtn);
 		widgets.push(helpBtn);
 
@@ -487,6 +503,14 @@ class Texture extends HuiView<{path: String}> {
 		alphaInput.disabled = !params.alpha;
 		alphaInput.text = '${params.alphaThreshold}';
 
+		var h = shader.compressedTex.height;
+		var w = shader.compressedTex.width;
+		var mipSel = Std.downcast(toolbar.getWidget("mip-sel"), HuiSelect);
+		if (mipSel != null) {
+			mipSel.items = [ for (idx in 0...shader.compressedTex.mipLevels) { label: 'Mip $idx - ${w / (hxd.Math.pow(2, idx))}x${h / (hxd.Math.pow(2, idx))}', value: idx}];
+			mipSel.value = 0;
+		}
+
 		var texMaxSize = getTextureMaxSize();
 		size.text = '${params.size}';
 		maxSizeEl.text = '/ ${texMaxSize} px';

hide_hl/res/ui/style/hui-toolbar.less

@@ -29,6 +29,16 @@ hui-toolbar {
 		}
 	}
 
+	hui-select {
+		min-height: 26;
+		width: 150;
+		fill-width: false;
+		background-type: hui;
+		> hui-background {
+			border-radius: @base-corner-radius !important;
+		}
+	}
+
 	>hui-element {
 		margin-right: 5px;
 	}