![]() ![]() It lseems to govern the load-distribution strategy employed by clients (i.e. It’s retrieved on startup, and will always default to 0 (”round robin”) because the property is not actually there unless you manually create it. STR_HITREG_SERVER_STRATEGY_LOADBASED = "2” įrom other code and messages, it looks like ServerStrategy is supposed to be a property of the HFM database node in EPM Registry.STR_HITREG_SERVER_STRATEGY_RANDOM = "1".STR_HITREG_SERVER_STRATEGY_ROUNDROBIN = "0".STR_HITREG_SERVER_STRATEGY = "ServerStrategy".While poking around HFM for other reasons, I’ve found a bunch of interesting constants. Welcome back, "little editor that could". On a more positive note, jEdit 5.3.0 (running on Java 1.8.0_66) seems to have fixed the crashes I've had for a year. ![]() Icons will still look crappy (the "classic" theme slightly better than "tango"), but the rest will be ok. force OSX to re-cache the plist by executing the following command in a terminal:ĭefaults read /Applications/jEdit.app/Contents/ist.go to the Contents folder, then edit ist by adding these two lines at the end of the file, just before :.in Finder, right-click on jEdit in Applications, select Show Package Contents.Three years since these screens started getting popular, you still have to repeat the following procedure after each jEdit installation or update, in order to avoid getting blurry fonts everywhere: However, for some reason jEdit developers strenuously refuse to fix their OSX package to support Retina screens. JEdit is a great little editor: very flexible, much plugins, such macros, so java.
0 Comments
Leave a Reply. |