Allow enabling/disabling of place and transition labels. #34
Labels
enhancement
New feature or request
Comments
epost
pushed a commit
that referenced
this issue
Dec 4, 2018
epost
added a commit
that referenced
this issue
Dec 12, 2018
epost
added a commit
that referenced
this issue
Dec 13, 2019
epost
added a commit
that referenced
this issue
Dec 13, 2019
epost
added a commit
that referenced
this issue
Dec 13, 2019
epost
added a commit
that referenced
this issue
Dec 17, 2019
…296) * First commit * Update README.md * Fix one more bug * Reduce number of warnings * suppress halogen-svg warnings * Supress shadowedName warnings (during bundling only) * Clean up code * changes for vscode * Generate haskell arrow code * smaller generated arrow code * Cleaner generated haskell code * fixes * Visual Studio integration with Halogen component lifecycle. #4 (WIP) * Add spiders * Fix saving state in hash in Safari * Replace explicit record type by App.Input alias. #4 * Put {pixels,context} into field in App.State. #14 * Qualify fromPixels as Bricks.fromPixels. #14 * Fix doc comment. #14 * Refactor generated code * Replace another written-out App.Input record by its alias. #4 * Rename setPixels and setPixelsAndContext to setInput. #4 * Eliminate repetition of fields from Bricks.Input. #14 * Move View.Bricks model state into its own field 'input :: Input'. #14 * Copy to clipboard buttons * Update src/View/CopyToClipboard.js Co-Authored-By: Erik Post <[email protected]> * Update src/View/CopyToClipboard.purs Co-Authored-By: Erik Post <[email protected]> * Create .editorconfig * Factor Bricks.Input formation out of bricksView. #14 * Don't automatically install the component on module load. #4 * Clean up type inferencing * Move i/o connection matching to view/bricks * Detect more type errors in spiders * Fix restorting state from location.hash * Use parseHash function for restoring state * tidy up * Automatically trim trailing whitespace * Don't put labels on wires, center labels above node * Fix label bug * Make wire bricks clickable * More greek * Fix disappearing wires * make selected wires visible again * Typed terms * Show types on identities in Term view * Show types with perms and spiders in term view * Remove ann field from TC and TT and use Ann * Make variable names in TypedTerm just strings * Make use of typed term in output formats * Add direction arrows * Cup and Cap * Switch from Int /\ Int to { x :: Int, y :: Int } * use Parcel to run and bundle (#30) * Use parcel as recommended by spago * Ignore dist * Don't show stars on types when valid * Add statebox logo and link * Nicer JSON generation * Use argonaut-codecs * allow running the static html * Fix encoding issue in bundled version * Update README.md * Update README.md Co-Authored-By: Erik Post <[email protected]> * Update README.md Co-Authored-By: Erik Post <[email protected]> * Update README.md * Update README.md * README.md tweaks. * Update package-lock.json. * Expose bricksView-related code to vscode. #14 (#26) * Expose bricksView-related code to vscode. #14 * Expose termView-related code to vscode. #14 * Fix npm start and move static files to html dir * Url encode parenthesis * Generate cleaner haskell arrow code * Reduce parenthesis in generated Haskell code * Allow a name and multiple pixel letters per type Fixes #33 * Use names i/o bids in generated JSON and Haskell * Switch to purescript-vec Fixes #32 * Use github token to access private vec package * Use names in terms view * Make sure the labels fit in their boxes * Some syntax and comments changes. #34 * Explicitly type unsafe coercion from Element -> HTMLElement. #34 * Fix text positioning in Safari * halogen-kdmoncat: Put kdmoncat modules under KDMonCat module. #257 Co-authored-by: Sjoerd Visscher <[email protected]> * studio: Render wiring diagrams in kdmoncat. #257 * Show diagrams in kdmoncat * Update ExampleData.purs Co-authored-by: Sjoerd Visscher <[email protected]> * halogen-kdmoncat: Fix compilation failure related to purescript-vec reference. #257 * 'Backport' Ord instance for Vec3 from purescript-vec repo. * Depend on the purescript-vec in this monorepo. * stbx-lang: Adapt diagram parser for use with the kdmoncat wiring viewer. #257 Co-authored-by: Sjoerd Visscher <[email protected]> * studio: Move conversion of DiagramInfo to Operators into stbx-lang. #257 Co-authored-by: Sjoerd Visscher <[email protected]> * studio: Fix whitespace. #257 * stbx-lang: Refactor fromOps for clarity. #257. Co-authored-by: Sjoerd Visscher <[email protected]> * studio: Refactor a 'let' to 'where'. #257 * prefix kdmoncat bricks css with kdmoncat * Prefix bricks component with kdmoncat * Refactor fromOps * halogen-kdmoncat: Remove ABOUT.md. #257 * studio: Qualify fromOperators as DiagramV2.fromOperators. #257 * studio: Qualify as KDMonCat.Bricks instead of KDMonCatBricks. #257 * studio: use 'zero' for 'Box' instead of the explicit version. #257
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The user should be able to switch them on or off individually. Also, show them on hover may be nice. Places have a
titleattr to sort of do that now but that sucks, for one because it takes a long time before the title appears.The text was updated successfully, but these errors were encountered: