Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

19
LINES

< > BotCompany Repo | #1035261 // G22ProjectInfo - project-wide settings/info

JavaX fragment (include) [tags: use-pretranspiled]

Transpiled version (23075L) is out of date.

1  
concept G22ProjectInfo {
2  
  gettable S projectID = aGlobalID();
3  
  File projectDir;
4  
  gettable new G22MaskSize defaultMaskSize;
5  
  S compilationDate;
6  
  
7  
  // I guess this could be removed since we now have the travel log
8  
  new L<File> historicalProjectDirs;
9  
  
10  
  gettable bool useFirefox;
11  
  
12  
  // historical fixer
13  
  // void _doneLoading { historicalProjectDirs.remove(null); }
14  
  
15  
  void addHistoricalProjectDir(File dir) {
16  
    if (syncSetAdd(historicalProjectDirs, dir))
17  
      change();
18  
  }
19  
}

download  show line numbers  debug dex  old transpilations   

Travelled to 4 computer(s): bhatertpkbcr, ekrmjmnbrukm, mowyntqkapby, mqqgnosmbjvj

No comments. add comment

Snippet ID: #1035261
Snippet name: G22ProjectInfo - project-wide settings/info
Eternal ID of this version: #1035261/13
Text MD5: 9285e9313d8f28baa19e5c183cdb3d48
Author: stefan
Category: javax
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2022-10-30 14:38:58
Source code size: 507 bytes / 19 lines
Pitched / IR pitched: No / No
Views / Downloads: 87 / 154
Version history: 12 change(s)
Referenced in: [show references]