Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add tooltip with itp and cores/itp to homepage #1566

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

dubslow
Copy link
Contributor

@dubslow dubslow commented Feb 14, 2023

This allows more advanced users to keep a closer eye on the server without confusing new viewers

@ppigazzini ppigazzini added enhancement server server side changes gui labels Feb 15, 2023
@ppigazzini
Copy link
Collaborator

DEV updated, LGTM, just nit picking.

This allows more advanced users to keep a closer eye on the server without confusing new viewers

(take 2, cleaner syntax, more consistent style with : instead of =)
@@ -15,7 +15,7 @@
<div class="col-6 col-sm">
<div class="card card-lg-sm text-center">
<div class="card-header text-nowrap" title="Cores">Cores</div>
<div class="card-body">
<div class="card-body" title="${f"itp: {itp:d}, c/i: {cores/itp:.2f}"}">
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

- <div class="card-body" title="${f"itp: {itp:d}, c/i: {cores/itp:.2f}"}">
+ <div class="card-body" title="${f'itp: {itp:.0f}, c/i: {cores/itp:.2f}'}">

@ppigazzini
Copy link
Collaborator

I fixed the conflicts, fixed 2 more errors in the original PR, rebased on master and ran on DEV.
There are not tooltips.

@ppigazzini ppigazzini marked this pull request as draft August 23, 2023 10:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement gui server server side changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants