arch-jedi/gdxapp4d
2
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Added whitespace numbers for imgui label ids

Browse source
This commit is contained in:
Willem Cazander 2022-10-16 17:57:53 +02:00
parent aedbe3fd3d
commit 69fcc77f02
2 changed files with 27 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gdxapp4d-lib-numberxd/src/main/java/love/distributedrebirth/numberxd/unicode/BaseGlyphSet.java
View file

@ -155,6 +155,11 @@ public enum BaseGlyphSet implements DefaultEnumSetᴶᴹˣ<BaseGlyphSet,BaseGlyp
null,
new BaseGlyphSetNumber("א","ב","ג","ד","ה","ו","ז","ח","ט","י","כ","ל","מ","נ","ס","ע","פ","צ","ק","ר","ש","ת","ך","ם","ן","ף","ץ"),
true),
WHITESPACE(
new BaseGlyphSetNumber("\u3000","\u205F","\u202F","\u200A","\u2009","\u2008","\u2007","\u2006","\u2005","\u2004"),
new BaseGlyphSetNumber("\u3000","\u205F","\u202F","\u200A","\u2009","\u2008","\u2007","\u2006","\u2005","\u2004","\u2003","\u2002","\u2001","\u2000","\u00A0","\u0020"),
null
),
;
@BãßBȍőnSpiderWire注(name = "printNumber10Count")

22
gdxapp4d-vrgem4/src/main/java/love/distributedrebirth/gdxapp4d/vrgem4/view/DeskTopScreenMenu.java
View file

@ -1,5 +1,8 @@
package love.distributedrebirth.gdxapp4d.vrgem4.view;
import java.text.DateFormat;
import java.text.SimpleDateFormat;
import java.util.Date;
import java.util.List;
import com.badlogic.gdx.Gdx;
@ -22,6 +25,7 @@ import love.distributedrebirth.gdxapp4d.vrgem4.service.deskapp.DeskAppContourSec
import love.distributedrebirth.gdxapp4d.vrgem4.service.deskapp.DeskAppLauncher;
import love.distributedrebirth.gdxapp4d.vrgem4.service.deskapp.DeskAppMenuSection;
import love.distributedrebirth.gdxapp4d.vrgem4.service.deskapp.DeskAppRenderer;
import love.distributedrebirth.numberxd.unicode.BaseGlyphSet;
@BãßBȍőnAuthor注(name = "للَّٰهِilLצسُو", copyright = "©Δ∞ 仙上主天")
public class DeskTopScreenMenu {
@ -32,6 +36,7 @@ public class DeskTopScreenMenu {
private ImBoolean fileMinimizeSelected = new ImBoolean(false);
private ImBoolean fileCloseSelected = new ImBoolean(false);
private ImBoolean tosSelfSelected = new ImBoolean(false);
private DateFormat dateFormat = new SimpleDateFormat("HH:mm:ss");
public DeskTopScreenMenu(SystemGdxBootArgs bootArgs, SystemGdxTerminal terminal, VrGem4DeskAppService deskAppService) {
this.bootArgs = bootArgs;
@ -51,9 +56,26 @@ public class DeskTopScreenMenu {
renderFileMenu(deskApp);
renderSelfMenu(appScreen, deskApp);
}
renderStatusMenu();
ImGui.endMainMenuBar();
}
private void renderStatusMenu() {
float pushLeft = ImGui.getWindowWidth() - 250;
int labelId = "ImGui".hashCode();
while (ImGui.getCursorScreenPosX() < pushLeft) {
String labelNumber = BaseGlyphSet.WHITESPACE.BȍőnPrintNumber10(labelId);
if (ImGui.beginMenu(labelNumber, false)) { // ImGui label is ID so it must be unique else it won't display....silently
ImGui.endMenu();
}
labelId++;
}
String fps = BaseGlyphSet.LATIN_TOP.BȍőnPrintNumber10((int)ImGui.getIO().getFramerate());
if (ImGui.beginMenu(dateFormat.format(new Date())+"ᶠᵖˢ⁼"+fps, false)) {
ImGui.endMenu();
}
}
private void renderSelfMenu(DeskTopScreen appScreen, DeskApp deskApp) {
if (ImGui.beginMenu(deskApp.getContours().getTitle())) {
if (ImGui.menuItem(FontAwesomeIcons.FolderMinus + " Minimize", "", fileMinimizeSelected, deskApp != null )) {