This is Petricad, a modern PetriNet editor/simulator/analyser made in flutter for Linux and Windows.
Access various options and commands via the command palette by pressing ctrl+p
!
This application automatically creates a config folder named .petricad
in your home folder.
Examples:
- Windows:
C:\Users\YourUser\.petricad
- Linux:
~/.petricad
The file config.json contains configurations about shortcuts/language/themes/etc...
Currently the flutter shortcuts supported are combinations of single keys + modifiers in a syntex like this:
ctrl+p
ctrl+shift+esc
f1
Only user one key per shortcut and zero or more unique modifiers.
Possible keys:
- Modifiers
ctrl
shift
alt
meta
- Keys
- Any lowercase alphabetic key, any number, symbols like
/
,|
,\
,.
,,
,'
,"
,:
,;
,!
,#
,-
,+
,_
,=
,{}
,[]
,()
. (When using symbols that require a modifier likeshift
, do not add the modifier in theconfig
file) esc
ins
del
enter
space
backspace
f1
f2
f3
f4
f5
f6
f7
f8
f9
f10
f11
f12
- Any lowercase alphabetic key, any number, symbols like
As of the time for this commit, shift
and other modifier/key combinations do not work properly on desktop/linux (for instance), see this pull request, so beware. Tested shortcuts include simple combinations with alt
, ctrl
and alphabetic/numeric keys.
Theming is made in an awesome way, you can just drag and drop Visual Studio Code themes (.json files) directly inside .petricad/themes
, they will be made available upon opening the app or by using the command Application: Reload resources
using the command palette.